[−][src]Trait un_algebra::relation::strict_order::StrictOrderLaws

pub trait StrictOrderLaws: StrictOrder {
    fn asymmetry(f: &Rel<Self>, x: &Self, y: &Self) -> bool { ... }

    fn irreflexivity(f: &Rel<Self>, x: &Self) -> bool { ... }

    fn transitivity(f: &Rel<Self>, x: &Self, y: &Self, z: &Self) -> bool { ... }
}

Laws of strict orders.

Provided methods

fn asymmetry(f: &Rel<Self>, x: &Self, y: &Self) -> bool

The property of strict order asymmetry.

fn irreflexivity(f: &Rel<Self>, x: &Self) -> bool

The property of strict order irreflexivity.

fn transitivity(f: &Rel<Self>, x: &Self, y: &Self, z: &Self) -> bool

The property of strict order transitivity.

Loading content...

Implementors

impl<S: StrictOrder> StrictOrderLaws for S[src]

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

Loading content...