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

Class AlgoAllDiffAC

java.lang.Object

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

public class AlgoAllDiffAC
extends Object

Algorithm of Alldifferent with AC

Field Summary

Fields

Modifier and Type	Field and Description
protected DirectedGraph	digraph
protected BitSet	free
protected int	n
protected int	n2

Constructor Summary

Constructors

Constructor and Description
AlgoAllDiffAC(IntVar[] variables, ICause cause)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	filter()
protected void	findMaximumMatching()
void	propagate()

Methods inherited from class java.lang.Object

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

Field Detail

n

protected int n

n2

protected int n2

digraph

protected DirectedGraph digraph

free

protected BitSet free

Constructor Detail

AlgoAllDiffAC

public AlgoAllDiffAC(IntVar[] variables,
             ICause cause)

Method Detail

propagate

public void propagate()
               throws ContradictionException

Throws:

ContradictionException

findMaximumMatching

protected void findMaximumMatching()
                            throws ContradictionException

Throws:

ContradictionException

filter

protected void filter()
               throws ContradictionException

Throws:

ContradictionException