Trait un_algebra::relation::total_order::NumTotalOrderLaws

pub trait NumTotalOrderLaws: NumEq + TotalOrder {
    fn num_connexity(
        f: &NumRel<Self>, 
        x: &Self, 
        y: &Self, 
        eps: &Self::Eps
    ) -> bool { ... }
    fn antisymmetry(
        f: &NumRel<Self>, 
        x: &Self, 
        y: &Self, 
        eps: &Self::Eps
    ) -> bool { ... }
    fn num_transitivity(
        f: &NumRel<Self>, 
        x: &Self, 
        y: &Self, 
        z: &Self, 
        eps: &Self::Eps
    ) -> bool { ... }
}

Numeric laws of total orders.

Provided methods

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

The numeric property of total order connexity.

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

The numeric property of total order anti symmetry.

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

The numeric property of total order transitivity.

Loading content...

Implementors

impl<S: NumEq + TotalOrder> NumTotalOrderLaws for S

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

Loading content...