Struct IntervalEnv 

pub struct IntervalEnv { /* private fields */ }

An abstract environment mapping variable names to interval values.

Implementations

impl IntervalEnv

pub fn new() -> Self

Create an empty environment.

pub fn set(&mut self, name: &str, iv: Interval)

Bind a variable to an interval.

pub fn get(&self, name: &str) -> Interval

Look up a variable’s interval (returns Top if not found).

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

Join two environments point-wise.

pub fn is_at_least_as_wide(&self, other: &IntervalEnv) -> bool

Return whether this environment is “wider” than or equal to other.

pub fn len(&self) -> usize

Return the number of variables bound.

pub fn is_empty(&self) -> bool

Return whether the environment is empty.

pub fn names(&self) -> Vec<&str>

Return all variable names.

Trait Implementations

impl Default for IntervalEnv

fn default() -> Self

Returns the “default value” for a type.