Trait prop::queenity::NoOtherSq

pub trait NoOtherSq<A, B>: 'static + Clone {
    fn no_other_sq<C: Prop>(&self, sq: Sq<A, C>) -> Not<Not<Sq<A, B>>>;
}

Prevents other queens of A from excluding queen B.

Required methods

fn no_other_sq<C: Prop>(&self, sq: Sq<A, C>) -> Not<Not<Sq<A, B>>>

(a ¬> c) => ¬¬(a ¬> b).

Implementors