Examples of solver.constraints.binary.PropNotEqualX_Y

solver.constraints.binary.PropNotEqualX_Y
A specific Propagator extension defining filtering algorithm for:
X =/= Y
where X and Y are Variable objects.
This Propagator defines the propagate and awakeOnInst methods. The other ones throw UnsupportedOperationException.

Based on Choco-2.1.1 @author Xavier Lorca @author Charles Prud'homme @author Arnaud Malapert @version 0.01, june 2010 @since 0.01

        int s = VARS.length;
        int k = 0;
        Propagator[] props = new Propagator[(s * s - s) / 2];
        for (int i = 0; i < s - 1; i++) {
          for (int j = i + 1; j < s; j++) {
            props[k++] = new PropNotEqualX_Y(VARS[i], VARS[j]);
          }
        }
        return props;
      }
      case FC: return new Propagator[]{new PropAllDiffInst(VARS)};

View Full Code Here

TOP

Related Classes of solver.constraints.binary.PropNotEqualX_Y

solver.constraints.nary.alldifferent.AllDifferent

solver.variables.IntVar

solver.variables.Variable

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.