Struct EstimateOverrideConstraint 

pub struct EstimateOverrideConstraint<C> {
    pub constraint: C,
    pub estimates: [Option<usize>; 128],
}

Fields

constraint: C

estimates: [Option<usize>; 128]

Implementations

impl<C> EstimateOverrideConstraint<C>

pub fn new(constraint: C) -> Self

pub fn with_estimates(constraint: C, estimates: [Option<usize>; 128]) -> Self

pub fn set_estimate(&mut self, variable: VariableId, estimate: usize)

Trait Implementations

impl<'a, C: Constraint<'a>> Constraint<'a> for EstimateOverrideConstraint<C>

fn variables(&self) -> VariableSet

Return the set of variables used by the constraint. This is only called once at the beginning of the query. The query engine uses this information to keep track of the variables that are used by each constraint.

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

Estimate the number of values that match the constraint. This is used by the query engine to guide the search. The estimate should be as accurate as possible, while being cheap to compute, and is not required to be exact or a permissible heuristic. The binding passed to the method contains the values assigned to the variables so far.

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

Propose values for a variable that match the constraint. This is used by the query engine to explore the search space. The method should add values to the proposals vector that match the constraint. The binding passed to the method contains the values assigned to the variables so far.

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

Confirm a value for a variable that matches the constraint. This is used by the query engine to prune the search space, and confirm that a value satisfies the constraint. The method should remove values from the proposals vector that do not match the constraint. The binding passed to the method contains the values assigned to the variables so far.

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

Return the set of variables potentially influenced when the passed variable is bound or unbound.