org.chocosolver.solver.constraints.nary.nValue.amnv.differences

Class AutoDiffDetection

java.lang.Object

org.chocosolver.solver.constraints.nary.nValue.amnv.differences.AutoDiffDetection

All Implemented Interfaces:

D

public class AutoDiffDetection
extends Object
implements D

automatic detection of binary disequalities and alldifferent constraints

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	DYNAMIC_ADDITIONS
protected Variable[]	scope

Constructor Summary

Constructors

Constructor and Description
AutoDiffDetection(Variable[] scope)

Method Summary

Methods

Modifier and Type	Method and Description
D	duplicate(Solver solver, gnu.trove.map.hash.THashMap<Object,Object> identitymap)
boolean	mustBeDifferent(int i1, int i2)

Methods inherited from class java.lang.Object

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

Field Detail

DYNAMIC_ADDITIONS

public static boolean DYNAMIC_ADDITIONS

scope

protected Variable[] scope

Constructor Detail

AutoDiffDetection

public AutoDiffDetection(Variable[] scope)

Method Detail

mustBeDifferent

public boolean mustBeDifferent(int i1,
                      int i2)

Specified by:

mustBeDifferent in interface D

Returns:

true iff var[i1] and var[i2] must be different

duplicate

public D duplicate(Solver solver,
          gnu.trove.map.hash.THashMap<Object,Object> identitymap)

Specified by:

duplicate in interface D