Struct Equality

pub struct Equality { /* private fields */ }

Implementations

impl Equality

pub fn new(eqn: LinExpr) -> Self

Allocate a new Equality constraint.

Examples

let mut magic_square = puzzle_solver::Puzzle::new();
let vars = magic_square.new_vars_with_candidates_2d(3, 3,
        &[1,2,3,4,5,6,7,8,9]);

puzzle_solver::constraint::Equality::new(
        vars[0][0] + vars[0][1] + vars[0][2] - 15);

Trait Implementations

impl Constraint for Equality

fn vars<'a>(&'a self) -> Box<dyn Iterator<Item = &'a VarToken> + 'a>

An iterator over the variables that are involved in the constraint.

fn on_assigned( &self, search: &mut PuzzleSearch<'_>, _: VarToken, _: Val, ) -> PsResult<()>

Applied after a variable has been assigned.

fn on_updated(&self, search: &mut PuzzleSearch<'_>) -> PsResult<()>

Applied after a variable’s candidates has been modified.

fn substitute( &self, from: VarToken, to: VarToken, ) -> PsResult<Rc<dyn Constraint>>

Substitute the “from” variable with the “to” variable.