Trait prop::quantify::StrongConnectivity

pub trait StrongConnectivity: Pred {
    fn strong_connectivity<A: Prop, B: Prop>(
        &self
    ) -> Or<App2<Self, A, B>, App2<Self, B, A>>;
}

Implemented for predicates with a strong connectivity property.

Required methods

fn strong_connectivity<A: Prop, B: Prop>(
    &self
) -> Or<App2<Self, A, B>, App2<Self, B, A>>

∀ a, b { p(a, b) ⋁ p(b, a) }.

Implementors