Trait BoundedLattice

pub trait BoundedLattice: Lattice {
    // Required methods
    fn top() -> Self;
    fn bottom() -> Self;
}

A lattice with existing top and bottom elements.

Required Methods

fn top() -> Self

The top element of this lattice (represents the most general approximation).

fn bottom() -> Self

The bottom element of this lattice (represents the most constrained approximation).

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl BoundedLattice for PhysicallyMonotonic