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

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

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

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

Blanket implementations

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

Required methods

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

Return ab.

Loading content...

Provided methods

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

Compare a and b using the induced partial order ⊑.

The default implementation uses join to compare the elements.

Loading content...

Implementations on Foreign Types

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

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

Loading content...


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

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

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

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

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

Loading content...