Struct Interval 

pub struct Interval {
    pub lo: i64,
    pub hi: i64,
}

An abstract value in the interval domain [lo, hi].

Fields

lo: i64

hi: i64

Implementations

impl Interval

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

Create an interval [lo, hi].

pub fn top() -> Self

Return the top interval (-∞, +∞) represented as (i64::MIN, i64::MAX).

pub fn bottom() -> Self

Return the bottom interval (empty).

pub fn is_bottom(&self) -> bool

Return whether this is the bottom (empty) interval.

pub fn is_top(&self) -> bool

Return whether this is the top interval.

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

Return the join (widening step) of two intervals.

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

Return the meet (intersection) of two intervals.

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

Return whether this interval contains a given value.

pub fn width(&self) -> u64

Return the width (hi - lo + 1), or 0 if bottom.

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

Add two intervals.

pub fn negate(&self) -> Interval

Negate an interval.

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

Subtract two intervals.

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 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 Copy for Interval

impl Eq for Interval

impl StructuralPartialEq for Interval