Enum IntervalSolution 

pub enum IntervalSolution {
    Interval {
        lower: Bound,
        lower_inclusive: bool,
        upper: Bound,
        upper_inclusive: bool,
    },
    Union(Vec<IntervalSolution>),
    Empty,
    AllReals,
}

Represents the solution set of an inequality.

Variants

Interval

A single interval [lower, upper] or (lower, upper) etc.

Fields

lower: Bound

Lower bound

lower_inclusive: bool

Whether lower bound is inclusive

upper: Bound

Upper bound

upper_inclusive: bool

Whether upper bound is inclusive

Union(Vec<IntervalSolution>)

Union of multiple intervals

Empty

Empty set (no solutions)

AllReals

All real numbers (-∞, +∞)

Implementations

impl IntervalSolution

pub fn greater_than(a: Expression) -> Self

Create an interval for x > a

pub fn greater_equal(a: Expression) -> Self

Create an interval for x ≥ a

pub fn less_than(a: Expression) -> Self

Create an interval for x < a

pub fn less_equal(a: Expression) -> Self

Create an interval for x ≤ a

pub fn open_interval(a: Expression, b: Expression) -> Self

Create an interval for a < x < b

pub fn closed_interval(a: Expression, b: Expression) -> Self

Create an interval for a ≤ x ≤ b

Trait Implementations

impl Clone for IntervalSolution

fn clone(&self) -> IntervalSolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntervalSolution

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

Formats the value using the given formatter.

impl Display for IntervalSolution

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

Formats the value using the given formatter.

impl PartialEq for IntervalSolution

fn eq(&self, other: &IntervalSolution) -> 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 StructuralPartialEq for IntervalSolution