Trait rustc_mir_dataflow::framework::lattice::MeetSemiLattice
source · pub trait MeetSemiLattice: Eq {
// Required method
fn meet(&mut self, other: &Self) -> bool;
}
Expand description
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
.