Struct IntersectionConstraint 

pub struct IntersectionConstraint<C> { /* private fields */ }

Logical conjunction of constraints (AND).

All children must agree on every variable binding. Built by the and! macro or directly via new.

The intersection delegates to its children using cardinality-aware ordering: the child with the lowest estimate proposes candidates, and the remaining children confirm them in order of increasing estimate. This strategy keeps the candidate set small from the start and avoids materialising cross products.

Variables from all children are exposed as a single union, so the engine sees one flat set of variables regardless of how many sub-constraints contribute.

Implementations

impl<'a, C> IntersectionConstraint<C>

where C: Constraint<'a> + 'a,

pub fn new(constraints: Vec<C>) -> Self

Creates an intersection over the given constraints.

Trait Implementations

impl<'a, C> Constraint<'a> for IntersectionConstraint<C>

where C: Constraint<'a> + 'a,

fn variables(&self) -> VariableSet

Returns the union of all children’s variable sets.

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

Returns the minimum estimate across children that constrain variable. The tightest child bounds the search, reflecting the intersection semantics: every child must agree, so the smallest candidate set dominates.

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

Sorts children by estimate, lets the tightest one propose, then confirms through the rest in ascending estimate order. Children that return None for this variable are skipped entirely.

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

Confirms proposals through all children that constrain variable, in order of increasing estimate.

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

Returns true only when every child is satisfied.

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

Returns the union of all children’s influence sets for variable.