Struct StoppingTime 

pub struct StoppingTime {
    pub name: String,
    pub filtration: String,
    pub is_finite_as: bool,
}

Stopping time data.

Fields

name: String

filtration: String

is_finite_as: bool

Implementations

impl StoppingTime

pub fn first_hitting(set_name: &str, filtration: &str) -> Self

First hitting time.

pub fn optional_stopping_description(&self) -> String

Optional stopping theorem: E[M_tau] = E[M_0] under UI conditions.

Trait Implementations

impl Clone for StoppingTime

fn clone(&self) -> StoppingTime

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StoppingTime

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.