Struct EstimateOverrideConstraint 

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

Constraint wrapper that overrides cardinality estimates for selected variables.

Fields

constraint: C

The underlying constraint whose estimates may be overridden.

estimates: [Option<usize>; 128]

Per-variable estimate overrides; None falls through to the inner constraint.

Implementations

impl<C> EstimateOverrideConstraint<C>

pub fn new(constraint: C) -> Self

Creates a wrapper with no estimate overrides.

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

Creates a wrapper with the given estimate override array.

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

Overrides the cardinality estimate for variable.

Trait Implementations

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

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 influence(&self, variable: VariableId) -> VariableSet

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

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

Returns whether this constraint is consistent with the current binding.