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 a ⊓ b.

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, 

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

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

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

Loading content...

Implementors

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

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

impl<L: Join> Meet for Flip<L>

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

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

impl<T: Clone + Eq + Meet> Meet for VarState<T>

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

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

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

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

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

impl<T: Clone + Eq> Meet for FlatLattice<T>

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

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

Loading content...