Struct PatchValueConstraint 

pub struct PatchValueConstraint<'a, T: ValueSchema> { /* private fields */ }

Constrains a variable to full-width values present in a PATCH.

Proposals enumerate every entry; confirmations check prefix membership.

Implementations

impl<'a, T: ValueSchema> PatchValueConstraint<'a, T>

pub fn new( variable: Variable<T>, patch: &'a PATCH<VALUE_LEN, IdentitySchema, ()>, ) -> Self

Creates a constraint that restricts variable to values in patch.

Trait Implementations

impl<'a, S: ValueSchema> Constraint<'a> for PatchValueConstraint<'a, S>

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.