Struct DebugConstraint 

pub struct DebugConstraint<C> {
    pub constraint: C,
    pub record: Rc<RefCell<Vec<VariableId>>>,
}

Constraint wrapper that records which variables are proposed during query execution.

Fields

constraint: C

The underlying constraint being observed.

record: Rc<RefCell<Vec<VariableId>>>

Shared log of variable ids in the order they were proposed.

Implementations

impl<C> DebugConstraint<C>

pub fn new(constraint: C, record: Rc<RefCell<Vec<VariableId>>>) -> Self

Wraps constraint and appends every proposed variable id to record.

Trait Implementations

impl<'a, C: Constraint<'a>> Constraint<'a> for DebugConstraint<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.