Trait un_algebra::relation::strict_order::NumStrictOrderLaws

pub trait NumStrictOrderLaws: NumEq + StrictOrder {
    fn num_asymmetry(
        f: &NumRel<Self>, 
        x: &Self, 
        y: &Self, 
        eps: &Self::Eps
    ) -> bool { ... }
    fn num_irreflexivity(f: &NumRel<Self>, x: &Self, eps: &Self::Eps) -> bool { ... }
    fn num_transitivity(
        f: &NumRel<Self>, 
        x: &Self, 
        y: &Self, 
        z: &Self, 
        eps: &Self::Eps
    ) -> bool { ... }
}

Numeric laws of strict orders.

Provided methods

fn num_asymmetry(f: &NumRel<Self>, x: &Self, y: &Self, eps: &Self::Eps) -> bool

The numeric property of strict order asymmetry.

fn num_irreflexivity(f: &NumRel<Self>, x: &Self, eps: &Self::Eps) -> bool

The numeric property of strict order irreflexivity.

fn num_transitivity(
    f: &NumRel<Self>,
    x: &Self,
    y: &Self,
    z: &Self,
    eps: &Self::Eps
) -> bool

The numeric property of strict order transitivity.

Loading content...

Implementors

impl<S: NumEq + StrictOrder> NumStrictOrderLaws for S

Blanket implementation of numeric strict order laws for numeric strict order implementations.

Loading content...