[][src]Trait gf::support::lattice::Meet

pub trait Meet: Bottom + Clone + Eq + Sized + Top {
    fn meet(a: &Self, b: &Self) -> Self;

    fn meet_cmp(a: &Self, b: &Self) -> Option<Ordering> { ... }

A meet semilattice that has a bottom and a top element.

Blanket implementations

A blanket implementation is provided for 2- and 3-tuples of Meet implementors.

Required methods

fn meet(a: &Self, b: &Self) -> Self

Return ab.

Loading content...

Provided methods

fn meet_cmp(a: &Self, b: &Self) -> Option<Ordering>

Compare a and b using the induced partial order ⊑.

The default implementation uses meet to compare the elements.

Loading content...

Implementations on Foreign Types

impl<A, B> Meet for (A, B) where
    A: Meet,
    B: Meet

impl<A, B, C> Meet for (A, B, C) where
    A: Meet,
    B: Meet,
    C: Meet

Loading content...


impl<K: Clone + Hash + Eq, V: Clone + Eq + Meet> Meet for HashLattice<K, V>[src]

impl<L: Join> Meet for Flip<L>[src]

impl<T: Clone + Eq + Meet> Meet for VarState<T>[src]

impl<T: Clone + Eq + PartialOrd> Meet for PosetLattice<T>[src]

impl<T: Clone + Eq> Meet for FlatLattice<T>[src]

Loading content...