Struct IntervalDomain 

pub struct IntervalDomain {
    pub lo: f64,
    pub hi: f64,
}

Closed interval [lo, hi] used as the abstract domain for variables.

Fields

lo: f64

Lower bound of the interval.

hi: f64

Upper bound of the interval.

Implementations

impl IntervalDomain

pub fn new(lo: f64, hi: f64) -> Self

Create a new interval [lo, hi].

Panics in debug mode if lo > hi.

pub fn top() -> Self

The “top” element — represents the universe of all reals.

pub fn bottom() -> Self

The “bottom” element — represents the empty set (empty interval).

pub fn is_non_empty(&self) -> bool

Returns true if the interval is non-empty.

pub fn contains(&self, v: f64) -> bool

Returns true if v lies within this interval.

pub fn join(&self, other: &Self) -> Self

Least upper bound (join): the smallest interval containing both.

pub fn meet(&self, other: &Self) -> Self

Greatest lower bound (meet): the intersection.

pub fn is_subset_of(&self, other: &Self) -> bool

Returns true if self ⊆ other.

pub fn add(&self, other: &Self) -> Self

Interval addition.

pub fn sub(&self, other: &Self) -> Self

Interval subtraction.

pub fn mul(&self, other: &Self) -> Self

Interval multiplication.

pub fn div(&self, other: &Self) -> Self

Interval division (returns top() when divisor contains zero).

pub fn width(&self) -> f64

Width of the interval.

pub fn midpoint(&self) -> f64

Midpoint of the interval.

Trait Implementations

impl Clone for IntervalDomain

fn clone(&self) -> IntervalDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntervalDomain

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

Formats the value using the given formatter.

impl Display for IntervalDomain

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

Formats the value using the given formatter.

impl PartialEq for IntervalDomain

fn eq(&self, other: &IntervalDomain) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for IntervalDomain

impl StructuralPartialEq for IntervalDomain