Struct IntervalResult 

pub struct IntervalResult {
    pub numeric: Vec<Interval>,
    pub branches: BranchConstraint,
}

Result of converting a constraint to intervals.

Fields

numeric: Vec<Interval>

branches: BranchConstraint

Implementations

impl IntervalResult

pub const fn new(numeric: Vec<Interval>, branches: BranchConstraint) -> Self

pub const fn none() -> Self

Create result matching nothing.

pub fn any() -> Self

Create result matching everything.

pub const fn matches_something(&self) -> bool

Check if this result matches anything.

Trait Implementations

impl Clone for IntervalResult

fn clone(&self) -> IntervalResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntervalResult

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

Formats the value using the given formatter.

impl Default for IntervalResult

fn default() -> Self

Returns the “default value” for a type.