Module org.chocosolver
Package 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 Detail

      • mustBeDifferent

        boolean mustBeDifferent​(int i1,
                        int i2)
        Returns:
        true iff var[i1] and var[i2] must be different