Struct Boolean

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

Implementations

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

where VStore: VStoreConcept<Item = Domain>, Domain: Range + Collection<Item = Bound> + Clone + Debug + 'static, Bound: Num,

pub fn new(vstore: &mut VStore) -> Self

Trait Implementations

impl<VStore> Clone for Boolean<VStore>

where VStore: Collection,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<VStore> Debug for Boolean<VStore>

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

Formats the value using the given formatter.

impl<VStore> DisplayStateful<Model> for Boolean<VStore>

fn display(&self, model: &Model)

impl<VStore, Domain, Bound> NotFormula<VStore> for Boolean<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 Boolean<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 Boolean<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> StoreMonotonicUpdate<VStore> for Boolean<VStore>

where VStore: VStoreConcept,

fn update(&mut self, store: &mut VStore, value: VStore::Item) -> bool

impl<VStore> StoreRead<VStore> for Boolean<VStore>

where VStore: VStoreConcept,

fn read(&self, store: &VStore) -> VStore::Item

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

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

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

impl<VStore> ViewDependencies<FDEvent> for Boolean<VStore>

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