Struct SetConstraint 

pub struct SetConstraint<S: ValueSchema, R, T>
where
    R: Deref<Target = HashSet<T>>,
{ /* private fields */ }

Constrains a variable to values present in a HashSet.

Created via the ContainsConstraint trait (.has(variable)). Proposals enumerate every element in the set; confirmations retain only proposals that the set contains. Accepts &HashSet<T>, Rc<HashSet<T>>, and Arc<HashSet<T>> as the backing store.

Implementations

impl<S: ValueSchema, R, T> SetConstraint<S, R, T>

where R: Deref<Target = HashSet<T>>,

pub fn new(variable: Variable<S>, set: R) -> Self

Creates a constraint that restricts variable to values in set.

Trait Implementations

impl<'a, S: ValueSchema, R, T> Constraint<'a> for SetConstraint<S, R, T>

where T: 'a + Eq + Hash + for<'b> TryFromValue<'b, S>, for<'b> &'b T: ToValue<S>, R: Deref<Target = HashSet<T>>,

fn variables(&self) -> VariableSet

Returns the set of variables this constraint touches.

fn estimate(&self, variable: VariableId, _binding: &Binding) -> Option<usize>

Estimates the number of candidate values for variable given the current partial binding.

fn propose( &self, variable: VariableId, _binding: &Binding, proposals: &mut Vec<RawValue>, )

Enumerates candidate values for variable into proposals.

fn confirm( &self, variable: VariableId, _binding: &Binding, proposals: &mut Vec<RawValue>, )

Filters proposals to remove values for variable that violate this constraint.

fn satisfied(&self, _binding: &Binding) -> bool

Returns whether this constraint is consistent with the current binding.

fn influence(&self, variable: VariableId) -> VariableSet

Returns the set of variables whose estimates may change when variable is bound or unbound.