Class AlgoAllDiffAC
- java.lang.Object
-
- org.chocosolver.solver.constraints.nary.alldifferent.algo.AlgoAllDiffAC
-
public class AlgoAllDiffAC extends Object
Algorithm of Alldifferent with AC Uses Regin algorithm Runs in O(m.n) worst case time for the initial propagation but has a good average behavior in practice Keeps track of previous matching for further calls- Author:
- Jean-Guillaume Fages
-
-
Constructor Summary
Constructors Constructor Description AlgoAllDiffAC(IntVar[] variables, ICause cause)
-
-
-
Method Detail
-
propagate
public boolean propagate() throws ContradictionException
- Throws:
ContradictionException
-
-