Struct LoebMeasure 

pub struct LoebMeasure {
    pub hyperfinite_set: String,
}

Loeb measure on a hyperfinite set.

Fields

hyperfinite_set: String

Implementations

impl LoebMeasure

pub fn new(hyperfinite_set: String) -> Self

pub fn loeb_measure(&self) -> f64

Compute the Loeb measure (normalized counting measure on the hyperfinite set).

pub fn is_standard_measure(&self) -> bool

The Loeb measure is a standard sigma-additive probability measure.