Trait abstalg::DistributiveLattice

pub trait DistributiveLattice: Lattice { }

A lattice that is distributive. No new methods are added.

Implementors

impl DistributiveLattice for Integers

impl<E> DistributiveLattice for ApproxFloats<E> where
    E: Float + Debug + Zero + One, 

impl<E> DistributiveLattice for CheckedInts<E> where
    E: PrimInt + Signed + Debug + From<i8>, 

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

Loading content...