Trait un_algebra::relation::partial_order::NumPartialOrderLaws

pub trait NumPartialOrderLaws: NumEq + PartialOrder {
    fn num_antisymmetry(
        f: &NumRel<Self>, 
        x: &Self, 
        y: &Self, 
        eps: &Self::Eps
    ) -> bool { ... }
    fn num_reflexivity(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 partial orders.

Provided methods

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

The numeric property of partial order antisymmetry.

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

The numeric property of partial order reflexivity.

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

The numeric property of partial order transitivity.

Loading content...

Implementors

impl<P: NumEq + PartialOrder> NumPartialOrderLaws for P

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

Loading content...