Trait GreatestLowerBound 

trait GreatestLowerBound<'db>: Sized {
    // Required method
    fn glb(env: &Env<'db>, l1: Self, l2: Self) -> Result<Self, NoGlb>;
}

Required Methods

fn glb(env: &Env<'db>, l1: Self, l2: Self) -> Result<Self, NoGlb>

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<'db> GreatestLowerBound<'db> for RedLink<'db>

impl<'db> GreatestLowerBound<'db> for SymPlace<'db>

impl<'db> GreatestLowerBound<'db> for RedChain<'db>

impl<'db> GreatestLowerBound<'db> for RedPerm<'db>