Trait veriwasm::lattices::Lattice

pub trait Lattice: PartialOrd + Eq + Default + Debug {
    fn meet(&self, other: &Self, loc: &LocIdx) -> Self;
}

Required methods

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

Implementors

impl Lattice for DAV

impl Lattice for SlotVal

impl Lattice for CallCheckValueLattice

impl Lattice for ReachingDefnLattice

impl Lattice for BooleanLattice

impl<T: Eq + Clone + Debug> Lattice for ConstLattice<T>

impl<T: Lattice + Clone> Lattice for X86RegsLattice<T>

impl<T: Lattice + Clone> Lattice for StackLattice<T>

impl<T: Lattice + Clone> Lattice for VariableState<T>