Examples of solver.constraints.nary.nValue.amnv.differences.AutoDiffDetection

     *                Presumably useful when NVALUES must be minimized.
     */
    public static Constraint atmost_nvalues(IntVar[] VARS, IntVar NVALUES, boolean GREEDY) {
        TIntArrayList vals = getDomainUnion(VARS);
        if (GREEDY) {
            Gci gci = new Gci(VARS, new AutoDiffDetection(VARS));
            R[] rules = new R[]{new R1(), new R3(VARS.length, NVALUES.getSolver())};
            return new Constraint("AtMostNValues", new PropAtMostNValues(VARS, vals, NVALUES),
                    new PropAMNV(VARS, NVALUES, gci, new MDRk(gci), rules));
        } else {
            return new Constraint("AtMostNValues", new PropAtMostNValues(VARS, vals, NVALUES));

   * by automatically detecting disequalities and alldifferent constraints.
   *
   * @param X    integer variables
   */
  public Gci(IntVar[] X) {
    this(X,new AutoDiffDetection(X));
  }

Related Classes of solver.constraints.nary.nValue.amnv.differences.AutoDiffDetection

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.