Struct MeasurableSet 

pub struct MeasurableSet {
    pub label: String,
    pub lower: Vec<f64>,
    pub upper: Vec<f64>,
}

A measurable set, identified by a tag and a predicate.

For numerical work, sets are represented as closed intervals (boxes) in ℝⁿ.

Fields

label: String

Human-readable label for the set.

lower: Vec<f64>

Lower bounds of the bounding box (one per dimension).

upper: Vec<f64>

Upper bounds of the bounding box (one per dimension).

Implementations

impl MeasurableSet

pub fn new(label: impl Into<String>, lower: Vec<f64>, upper: Vec<f64>) -> Self

Create a measurable set from lower and upper bounds.

Panics

Panics if lower and upper have different lengths.

pub fn interval(a: f64, b: f64) -> Self

Create a 1-D interval [a, b].

pub fn dim(&self) -> usize

Return the dimension of the set.

pub fn contains(&self, point: &[f64]) -> bool

Check whether a point lies in the closed box [lower, upper].

pub fn is_null_set(&self) -> bool

Return true if this set is a null set (measure zero) under Lebesgue measure.

A box is a null set iff at least one dimension has lower == upper.

Trait Implementations

impl Clone for MeasurableSet

fn clone(&self) -> MeasurableSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MeasurableSet

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

Formats the value using the given formatter.