Struct ImplicationConstraint 

pub struct ImplicationConstraint<V: Clone + PartialEq + Debug> { /* private fields */ }

antecedent = trigger → consequent ∈ allowed.

When antecedent is bound to trigger, prune all values from consequent that are not in allowed. The antecedent is never pruned by this constraint — only the consequent.

Implementations

impl<V: Clone + PartialEq + Debug> ImplicationConstraint<V>

pub fn new( antecedent: VarId, consequent: VarId, trigger: V, allowed: Vec<V>, ) -> Self

Build a new implication constraint.

antecedent is the variable whose binding triggers the constraint; consequent is the variable whose domain is filtered when triggered.

Trait Implementations

impl<V: Clone + Clone + PartialEq + Debug> Clone for ImplicationConstraint<V>

fn clone(&self) -> ImplicationConstraint<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<D: Domain> Constraint<D> for ImplicationConstraint<D::Value>

where D::Value: PartialEq,

fn scope(&self) -> &[VarId]

The variables this constraint involves (its “scope”).

fn check(&self, assignment: &[Option<D::Value>]) -> bool

Check whether a full or partial assignment satisfies this constraint.

fn revise(&self, vars: &mut [Variable<D>], depth: usize) -> Revision

AC-3 style revision: prune unsupported values from domains.

impl<V: Debug + Clone + PartialEq + Debug> Debug for ImplicationConstraint<V>

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

Formats the value using the given formatter.