AutoDiffDetection (org.choco-solver-choco-solver 4.10.2 API)

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 Description
  
  static boolean dynamicAdditions
  whether or not disequality constraints may be added during search
- Constructor Summary
  
  Constructors
  Constructor Description
  
  AutoDiffDetection(Variable[] scope)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  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
  - dynamicAdditions
```
public static boolean dynamicAdditions
```
    whether or not disequality constraints may be added during search
- 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