Struct AbstractState 

pub struct AbstractState {
    pub vars: HashMap<String, IntervalDomain>,
}

An abstract state: a map from variable name to interval abstract value.

Fields

vars: HashMap<String, IntervalDomain>

Variable name → interval abstract value

Implementations

impl AbstractState

pub fn bottom() -> Self

The bottom state (unreachable program point).

pub fn get(&self, var: &str) -> IntervalDomain

Look up the abstract value of a variable (top if unknown).

pub fn set(&mut self, var: impl Into<String>, val: IntervalDomain)

Set the abstract value of a variable.

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

Join two abstract states pointwise.

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

Widening of two abstract states pointwise.

Trait Implementations

impl Clone for AbstractState

fn clone(&self) -> AbstractState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AbstractState

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

Formats the value using the given formatter.