Struct PatchIdConstraint 

pub struct PatchIdConstraint<S>
where
    S: ValueSchema,
{ /* private fields */ }

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

Like PatchValueConstraint but for 16-byte identifiers. Values are converted between the ID representation and the 32-byte value representation automatically.

Implementations

impl<S> PatchIdConstraint<S>

where S: ValueSchema,

pub fn new( variable: Variable<S>, patch: PATCH<ID_LEN, IdentitySchema, ()>, ) -> Self

Creates a constraint that restricts variable to IDs in patch.

Trait Implementations

impl<'a, S> Constraint<'a> for PatchIdConstraint<S>

where S: ValueSchema,

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.