Trait differential_dataflow::lattice::Lattice [−] [src]

pub trait Lattice: PartialOrd {
    fn min() -> Self;
    fn max() -> Self;
    fn join(&self, _: &Self) -> Self;
    fn meet(&self, _: &Self) -> Self;

    fn advance_by(&self, frontier: &[Self]) -> Option<Self>
    where
        Self: Sized,
    { ... }
}

A bounded partially ordered type supporting joins and meets.

Required Methods

The smallest element of the type.

The largest element of the type.

The smallest element greater than both arguments.

The largest element lesser than both arguments.

Provided Methods

Advances self to the largest time indistinguishable under frontier.

Implementors