Struct LatticeOps 

pub struct LatticeOps<T> {
    pub join: Box<dyn Fn(T, T) -> T>,
    pub meet: Box<dyn Fn(T, T) -> T>,
}

Binary lattice operations on elements that implement Clone + PartialEq.

Fields

join: Box<dyn Fn(T, T) -> T>

Join (supremum) of two elements.

meet: Box<dyn Fn(T, T) -> T>

Meet (infimum) of two elements.

Implementations

impl<T: Clone + PartialEq> LatticeOps<T>

pub fn new( join: impl Fn(T, T) -> T + 'static, meet: impl Fn(T, T) -> T + 'static, ) -> Self

Create from explicit join/meet functions.

pub fn fold_join(&self, elems: &[T]) -> Option<T>

Compute the join of a non-empty slice.

pub fn fold_meet(&self, elems: &[T]) -> Option<T>

Compute the meet of a non-empty slice.

pub fn check_absorption_join_meet(&self, a: T, b: T) -> bool

Check absorption: join a (meet a b) = a.

pub fn check_absorption_meet_join(&self, a: T, b: T) -> bool

Check absorption: meet a (join a b) = a.