Trait abstalg::BoundedLattice

pub trait BoundedLattice: Lattice {
    fn max(&self) -> Self::Elem;
    fn min(&self) -> Self::Elem;
}

A lattice that has a largest and smallest element.

Required methods

fn max(&self) -> Self::Elem

Returns the largest element of the lattice.

fn min(&self) -> Self::Elem

Returns the smallest element of the lattice.

Loading content...

Implementors

impl<R: EuclideanDomain> BoundedLattice for DivisibilityLattice<R>

fn max(&self) -> Self::Elem

fn min(&self) -> Self::Elem

Loading content...