Enum PatriciaTreeMapAbstractEnvironment 

pub enum PatriciaTreeMapAbstractEnvironment<V: Into<BitVec> + Clone, D: Sized + Eq + AbstractDomain> {
    Value(PatriciaTreeMap<V, D>),
    Bottom,
}

Variants

Value(PatriciaTreeMap<V, D>)

Bottom

Trait Implementations

impl<V, D> AbstractDomain for PatriciaTreeMapAbstractEnvironment<V, D>

where V: Into<BitVec> + Clone, D: Sized + AbstractDomain,

fn bottom() -> Self

fn top() -> Self

fn is_bottom(&self) -> bool

fn is_top(&self) -> bool

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

fn join_with(&mut self, rhs: Self)

fn meet_with(&mut self, rhs: Self)

fn widen_with(&mut self, rhs: Self)

fn narrow_with(&mut self, rhs: Self)

fn join(self, rhs: Self) -> Self

fn meet(self, rhs: Self) -> Self

fn widen(self, rhs: Self) -> Self

fn narrow(self, rhs: Self) -> Self

impl<V, D> AbstractEnvironment<V, D> for PatriciaTreeMapAbstractEnvironment<V, D>

where V: Into<BitVec> + Clone, D: Sized + AbstractDomain,

type ContainerType = PatriciaTreeMap<V, D>

fn bindings(&self) -> Option<&PatriciaTreeMap<V, D>>

fn into_bindings(self) -> Option<PatriciaTreeMap<V, D>>

fn len(&self) -> usize

fn is_empty(&self) -> bool

fn get(&self, variable: &V) -> Cow<'_, D>

fn set(&mut self, variable: V, domain: D)

fn update(&mut self, variable: &V, op: impl FnOnce(&mut D))

impl<V, D> Clone for PatriciaTreeMapAbstractEnvironment<V, D>

where V: Into<BitVec> + Clone, D: Sized + AbstractDomain,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Debug + Into<BitVec> + Clone, D: Debug + Sized + Eq + AbstractDomain> Debug for PatriciaTreeMapAbstractEnvironment<V, D>

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

Formats the value using the given formatter.

impl<V, D> PartialEq for PatriciaTreeMapAbstractEnvironment<V, D>

where V: Into<BitVec> + Clone, D: Sized + AbstractDomain,

fn eq(&self, rhs: &Self) -> 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<V, D> Eq for PatriciaTreeMapAbstractEnvironment<V, D>

where V: Into<BitVec> + Clone, D: Sized + AbstractDomain,