Trait NotFormula 

pub trait NotFormula<VStore> {
    // Required method
    fn not(&self) -> Formula<VStore>;
}

Required Methods

fn not(&self) -> Formula<VStore>

Implementors

impl<VStore> NotFormula<VStore> for AllEqual<VStore>

where VStore: Collection + 'static,

impl<VStore> NotFormula<VStore> for XEqYMulZ<VStore>

impl<VStore> NotFormula<VStore> for XEqYPlusZ<VStore>

where VStore: Collection,

impl<VStore> NotFormula<VStore> for Distinct<VStore>

where VStore: Collection + 'static,

impl<VStore> NotFormula<VStore> for Conjunction<VStore>

where VStore: Collection + 'static,

impl<VStore> NotFormula<VStore> for Disjunction<VStore>

where VStore: Collection + 'static,

impl<VStore, Domain, Bound> NotFormula<VStore> for XEqY<VStore>

where VStore: VStoreConcept<Item = Domain> + 'static, Domain: IntDomain<Item = Bound> + 'static, Bound: IntBound + 'static,

impl<VStore, Domain, Bound> NotFormula<VStore> for XGreaterYPlusZ<VStore>

where VStore: VStoreConcept<Item = Domain> + 'static, Domain: Collection<Item = Bound> + IntDomain, Bound: IntBound,

impl<VStore, Domain, Bound> NotFormula<VStore> for XLessY<VStore>

where VStore: VStoreConcept<Item = Domain> + 'static, Domain: Collection<Item = Bound> + IntDomain, Bound: IntBound,

impl<VStore, Domain, Bound> NotFormula<VStore> for XLessYPlusZ<VStore>

where VStore: VStoreConcept<Item = Domain> + 'static, Domain: Collection<Item = Bound> + IntDomain, Bound: IntBound,

impl<VStore, Domain, Bound> NotFormula<VStore> for XNeqY<VStore>

where VStore: VStoreConcept<Item = Domain> + 'static, Domain: IntDomain<Item = Bound> + 'static, Bound: IntBound + 'static,

impl<VStore, Domain, Bound> NotFormula<VStore> for Boolean<VStore>

where VStore: VStoreConcept<Item = Domain> + 'static, Domain: IntDomain<Item = Bound> + 'static, Bound: IntBound + 'static,

impl<VStore, Domain, Bound> NotFormula<VStore> for BooleanNeg<VStore>

where VStore: VStoreConcept<Item = Domain> + 'static, Domain: IntDomain<Item = Bound> + 'static, Bound: IntBound + 'static,