Struct BooleanNeg 

pub struct BooleanNeg<VStore> { /* private fields */ }

Implementations

impl<VStore> BooleanNeg<VStore>

pub fn new(b: Boolean<VStore>) -> Self

Trait Implementations

impl<VStore> Clone for BooleanNeg<VStore>

where VStore: Collection,

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<VStore> Debug for BooleanNeg<VStore>

fn fmt(&self, fmt: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<VStore> DisplayStateful<Model> for BooleanNeg<VStore>

fn display(&self, model: &Model)

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

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

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

impl<VStore, Dom, Bound> Propagator<VStore> for BooleanNeg<VStore>

where VStore: VStoreConcept<Item = Dom>, Dom: Collection<Item = Bound> + Singleton, Bound: Num,

fn propagate(&mut self, vstore: &mut VStore) -> bool

Returns false if it failed to propagate (a variable has an empty domain after propagation).

impl<VStore> PropagatorDependencies<FDEvent> for BooleanNeg<VStore>

fn dependencies(&self) -> Vec<(usize, FDEvent)>

Each event on a variable that can change the result of the is_subsumed method should be listed here.

impl<VStore, Dom, Bound> Subsumption<VStore> for BooleanNeg<VStore>

where VStore: Collection<Item = Dom>, Dom: Bounded<Item = Bound> + IsSingleton, Bound: Num,

fn is_subsumed(&self, vstore: &VStore) -> SKleene