Trait rustc_mir::dataflow::lattice::MeetSemiLattice

pub trait MeetSemiLattice: Eq {
    pub fn meet(&mut self, other: &Self) -> bool;
}

A partially ordered set that has a greatest lower bound for any pair of elements in the set.

Dataflow analyses only require that their domains implement JoinSemiLattice, not MeetSemiLattice. However, types that will be used as dataflow domains should implement both so that they can be used with Dual.

Required methods

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

Computes the greatest lower bound of two elements, storing the result in self and returning true if self has changed.

The lattice meet operator is abbreviated as ∧.

Loading content...

Implementations on Foreign Types

impl MeetSemiLattice for bool

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

impl<I: Idx, T: MeetSemiLattice> MeetSemiLattice for IndexVec<I, T>

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

impl<T: Idx> MeetSemiLattice for BitSet<T>

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

Loading content...

Implementors

impl<T: JoinSemiLattice> MeetSemiLattice for Dual<T>

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

impl<T: Clone + Eq> MeetSemiLattice for FlatSet<T>

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

Loading content...