Trait un_algebra::relation::equivalence::NumEquivalenceLaws

pub trait NumEquivalenceLaws: NumEq + Equivalence {
    fn num_symmetry(
        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 equivalence relations.

Provided methods

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

The numeric property of equivalence symmetry.

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

The numeric property of equivalence reflexivity.

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

The numeric property of equivalence transitivity.

Loading content...

Implementors

impl<E: NumEq + Equivalence> NumEquivalenceLaws for E

Blanket implementation of numeric equivalence relation laws for equivalence relation implementations.

Loading content...