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

pub trait Lattice: Clone + Eq + Sized {
    fn bottom() -> Self;
fn top() -> Self;
fn meet(a: Self, b: Self) -> Self;
fn join(a: Self, b: Self) -> Self; fn order_cmp(a: Self, b: Self) -> Option<Ordering> { ... } }

A bounded lattice.

Bounded lattices L are required to uphold the following laws:

Required methods

fn bottom() -> Self

Return the bottom element, ⊥.

fn top() -> Self

Return the top element, ⊤.

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

Return ab.

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

Return ab.

Loading content...

Provided methods

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

Compare a and b using the lattice-induced partial order ⊑.

The default implementation uses meet to compare the elements. Debug builds additionally verify that join yields the same order, panicking if not.

Loading content...

Implementors

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

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

Loading content...