Struct puzzle_solver::constraint::AllDifferent
[−]
[src]
pub struct AllDifferent { /* fields omitted */ }
Methods
impl AllDifferent
[src]
fn new<'a, I>(vars: I) -> Self where
I: IntoIterator<Item = &'a VarToken>,
I: IntoIterator<Item = &'a VarToken>,
Allocate a new All Different constraint.
Examples
let mut send_more_money = puzzle_solver::Puzzle::new(); let vars = send_more_money.new_vars_with_candidates_1d(8, &[0,1,2,3,4,5,6,7,8,9]); puzzle_solver::constraint::AllDifferent::new(&vars);
Trait Implementations
impl Constraint for AllDifferent
[src]
fn vars<'a>(&'a self) -> Box<Iterator<Item = &'a VarToken> + 'a>
An iterator over the variables that are involved in the constraint.
fn on_assigned(
&self,
search: &mut PuzzleSearch,
var: VarToken,
val: Val
) -> PsResult<()>
&self,
search: &mut PuzzleSearch,
var: VarToken,
val: 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<Constraint>>
Substitute the "from" variable with the "to" variable. Read more