Trait Lattice

pub trait Lattice {
    // Required methods
    fn join(&self, other: Self) -> Self;
    fn meet(&self, other: Self) -> Self;
    fn less_than(&self, other: Self) -> bool;
    fn equal(&self, other: Self) -> bool;
    fn check(&self) -> bool;
}

Required Methods

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

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

fn less_than(&self, other: Self) -> bool

fn equal(&self, other: Self) -> bool

fn check(&self) -> bool

Object Safety

This trait is not object safe.

Implementors

impl Lattice for AllocatedState

impl Lattice for InitState

impl<'tcx> Lattice for AlignState<'tcx>

impl<'tcx> Lattice for StateType<'tcx>