Enum Interval 

pub enum Interval {
    Bottom,
    Range(i64, i64),
}

An abstract interval element: either [lo, hi] or ⊥ (empty).

Variants

Bottom

Range(i64, i64)

Implementations

impl Interval

pub fn bot() -> Self

Bottom element ⊥.

pub fn top() -> Self

Top element ⊤ = [-∞, +∞] (represented with i64 extremes).

pub fn single(v: i64) -> Self

A single value.

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

Partial order: self ⊑ other.

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

Join operator ⊔.

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

Meet operator ⊓.

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

Widening operator ▽.

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

Narrowing operator △.

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

Arithmetic add abstraction.

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

Contains a concrete value.

Trait Implementations

impl Clone for Interval

fn clone(&self) -> Interval

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Interval

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

Formats the value using the given formatter.

impl Display for Interval

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

Formats the value using the given formatter.

impl PartialEq for Interval

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

impl StructuralPartialEq for Interval