Examples of solver.variables.IntVar

solver.variables.IntVar
Interface for integer variables. Provides every required services. The domain is explicitly represented but is not (and should not be) accessible from outside.

CPRU r544: remove default implementation @author Charles Prud'homme @since 18 nov. 2010

        vectors = new IntVar[n * n - n];
        int idx = 0;
        for (int i = 0; i < n; i++) {
            for (int j = 0; j < n; j++) {
                if (i != j) {
          IntVar k = VariableFactory.bounded(StringUtils.randomName(),-20000,20000,solver);
          solver.post(IntConstraintFactory.sum(new IntVar[]{vars[i], k}, vars[j]));
          vectors[idx] = VariableFactory.offset(k, 2 * n * (j - i));
                    idx++;
                }
            }

View Full Code Here


    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            this.vars[0].duplicate(solver, identitymap);
            IntVar X = (IntVar) identitymap.get(this.vars[0]);
            this.vars[1].duplicate(solver, identitymap);
            IntVar Y = (IntVar) identitymap.get(this.vars[1]);


            identitymap.put(this, new PropSquare(X, Y));
        }
    }

View Full Code Here


    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            this.vars[0].duplicate(solver, identitymap);
            IntVar X = (IntVar) identitymap.get(this.vars[0]);
            this.vars[1].duplicate(solver, identitymap);
            IntVar Y = (IntVar) identitymap.get(this.vars[1]);


            identitymap.put(this, new PropBinAC3rm(X, Y, (CouplesBitSetTable) relation.duplicate()));
        }
    }

View Full Code Here


    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            this.vars[0].duplicate(solver, identitymap);
            IntVar X = (IntVar) identitymap.get(this.vars[0]);
            this.vars[1].duplicate(solver, identitymap);
            IntVar Y = (IntVar) identitymap.get(this.vars[1]);


            identitymap.put(this, new PropLessOrEqualXY_C(new IntVar[]{X, Y}, this.cste));
        }
    }

View Full Code Here


    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            this.X.duplicate(solver, identitymap);
            IntVar X = (IntVar) identitymap.get(this.X);
            this.Y.duplicate(solver, identitymap);
            IntVar Y = (IntVar) identitymap.get(this.Y);


            Constraint clone = new DistanceXYC(X, Y, this.operator, this.C);
            identitymap.put(this.propagators[0], clone.getPropagator(0));
            identitymap.put(this, clone);
        }

View Full Code Here

            objects[i] = VariableFactory.bounded("o_" + (i + 1), 0, nbOmax[i], solver);
        }
        // objective variable
        power = VariableFactory.bounded("power", 0, 9999, solver);


        IntVar scalar = VariableFactory.bounded("weight", capacites[0] - 1, capacites[1] + 1, solver);


        solver.post(IntConstraintFactory.knapsack(objects, scalar, power, volumes, energies));
    }

View Full Code Here

            for (int i = 0; i < size; i++) {
                this.vars[i].duplicate(solver, identitymap);
                aVars[i] = (IntVar) identitymap.get(this.vars[i]);
            }
            this.vars[size].duplicate(solver, identitymap);
            IntVar C = (IntVar) identitymap.get(this.vars[size]);
            this.vars[size + 1].duplicate(solver, identitymap);
            IntVar E = (IntVar) identitymap.get(this.vars[size + 1]);
            identitymap.put(this, new PropKnapsack(aVars, C, E, this.weigth, this.energy));
        }
    }

View Full Code Here

            for (int i = 0; i < m - 1; i++) {
                solver.post(IntConstraintFactory.distance(vars[i + 1], vars[i], "=", dist[i]));
            }
        } else {
            for (int i = 0; i < m - 1; i++) {
        IntVar k = VariableFactory.bounded(StringUtils.randomName(),-20000,20000,solver);
        solver.post(IntConstraintFactory.sum(new IntVar[]{vars[i],k},vars[i+1]));
        dist[i] = VariableFactory.abs(k);
                solver.post(IntConstraintFactory.member(dist[i], 1, m - 1));
            }
        }

View Full Code Here

        var.updateUpperBound(max, aCause);
        if (index.isInstantiated()) {
            equals(var, vars[2 + index.getValue() - offset]);
        }
        if (var.isInstantiated() && index.isInstantiated()) {
            IntVar v = vars[2 + index.getValue() - offset];
            if (v.isInstantiated() && v.getValue() == var.getValue()) {
                setPassive();
            }
        }
    }

View Full Code Here

            for (int i = 0; i < size; i++) {
                this.vars[i + 2].duplicate(solver, identitymap);
                X[i] = (IntVar) identitymap.get(this.vars[i + 2]);
            }
            this.vars[0].duplicate(solver, identitymap);
            IntVar V = (IntVar) identitymap.get(this.vars[0]);


            this.vars[1].duplicate(solver, identitymap);
            IntVar I = (IntVar) identitymap.get(this.vars[1]);


            identitymap.put(this, new PropElementV_fast(V, X, I, this.offset, this.fast));
        }
    }

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of solver.variables.IntVar

choco.explanations.ExplanationTest

choco.IntLinCombTest

choco.ReifiedTest

choco.serializable.SerializableTest

choco.strategy.StrategyTest

docs.IntConstraintExamples

samples.integer.AllIntervalSeries

samples.integer.CarSequencing

samples.integer.CostasPara

samples.integer.Knapsack

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.