Module org.chocosolver

Package org.chocosolver.solver.constraints.nary.alldifferent.algo

Class AlgoAllDiffBC

java.lang.Object

org.chocosolver.solver.constraints.nary.alldifferent.algo.AlgoAllDiffBC

public class AlgoAllDiffBC
extends Object

Constructor Summary

Constructors

Constructor	Description
AlgoAllDiffBC(Propagator cause)

Method Summary

Modifier and Type	Method	Description
void	filter()
void	reset(IntVar[] variables)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AlgoAllDiffBC

public AlgoAllDiffBC(Propagator cause)

Method Detail

reset

public void reset(IntVar[] variables)

filter

public void filter()
            throws ContradictionException

Throws:

ContradictionException