Trait alga::general::JoinSemilattice
[−]
[src]
pub trait JoinSemilattice: Sized { fn join(&self, other: &Self) -> Self; }
A set where every two elements have a suppremum (i.e. smallest upper bound).
Required Methods
fn join(&self, other: &Self) -> Self
Returns the join (aka. supremum) of two values.
Implementors
impl<O: Operator> JoinSemilattice for Id<O>impl JoinSemilattice for u8impl JoinSemilattice for u16impl JoinSemilattice for u32impl JoinSemilattice for u64impl JoinSemilattice for i8impl JoinSemilattice for i16impl JoinSemilattice for i32impl JoinSemilattice for i64impl JoinSemilattice for f32impl JoinSemilattice for f64