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

Interface D

All Known Implementing Classes:

AutoDiffDetection

public interface D

Interface to represent a set of difference constraints

Since:

01/01/2014

Author:

Jean-Guillaume Fages

Method Summary

Modifier and Type	Method and Description
boolean	mustBeDifferent(int i1, int i2)

Method Detail

mustBeDifferent

boolean mustBeDifferent(int i1,
                        int i2)

Returns:

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