Enum AbstractCmp 

pub enum AbstractCmp {
    DefinitelyTrue,
    DefinitelyFalse,
    Unknown,
}

Abstract comparison result (may hold, definitely holds, definitely fails).

Variants

DefinitelyTrue

DefinitelyFalse

Unknown

Implementations

impl AbstractCmp

pub fn lt(a: &Interval, b: &Interval) -> Self

Abstract less-than comparison of two intervals.

pub fn eq(a: &Interval, b: &Interval) -> Self

Abstract equality comparison.

pub fn is_definitely_true(&self) -> bool

Return whether the comparison is definitely true.

pub fn is_definitely_false(&self) -> bool

Return whether the comparison is definitely false.

Trait Implementations

impl Clone for AbstractCmp

fn clone(&self) -> AbstractCmp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AbstractCmp

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

Formats the value using the given formatter.

impl PartialEq for AbstractCmp

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

impl Eq for AbstractCmp

impl StructuralPartialEq for AbstractCmp