Trait differential_dataflow::collection::least_upper_bound::LeastUpperBound

pub trait LeastUpperBound: PartialOrd {
    fn max() -> Self;
    fn least_upper_bound(&self, &Self) -> Self;
}

Partially ordered elements with a least upper bound.

Required Methods

fn max() -> Self

A maximum value for the type.

fn least_upper_bound(&self, &Self) -> Self

The least element greater or equal to each argument.

Implementors

• impl<T1: LeastUpperBound, T2: LeastUpperBound> LeastUpperBound for Product<T1, T2>
• impl LeastUpperBound for RootTimestamp
• impl LeastUpperBound for u64
• impl LeastUpperBound for u32
• impl LeastUpperBound for i32