Package solver.variables

Examples of solver.variables.IntVar

171
172
173
174
175
176
177
178
179
180
181
182
    @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 PropElement(X, this.lval, Y, this.cste, this.s));
        }
    }
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
85
            assert (vars[i].isInstantiated()) :
                    vars[i] + " is not instantiated when recording a solution.";
            switch (kind) {
                case Variable.INT:
                case Variable.BOOL:
                    IntVar v = (IntVar) vars[i];
                    intmap.put(v, v.getValue());
                    break;
                case Variable.REAL:
                    RealVar r = (RealVar) vars[i];
                    realmap.put(r, new double[]{r.getLB(), r.getUB()});
                    break;
View Full Code Here
215
216
217
218
219
220
221
222
223
224
225
    public String toString() {
        StringBuilder sb = new StringBuilder();
        sb.append("GAC2001AllowedLarge({");
        for (int i = 0; i < vars.length; i++) {
            if (i > 0) sb.append(", ");
            IntVar var = vars[i];
            sb.append(var);
        }
        sb.append("})");
        return sb.toString();
    }
View Full Code Here
127
128
129
130
131
132
133
134
135
136
137
138
    @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 PropBinAC3bitrm(X, Y, (CouplesBitSetTable) relation.duplicate()));
        }
    }
View Full Code Here
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
    @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]);
            this.vars[2].duplicate(solver, identitymap);
            IntVar Z = (IntVar) identitymap.get(this.vars[2]);

            this.absX.duplicate(solver, identitymap);
            IntVar absX = (IntVar) identitymap.get(this.absX);
            this.absY.duplicate(solver, identitymap);
            IntVar absY = (IntVar) identitymap.get(this.absY);
            this.absZ.duplicate(solver, identitymap);
            IntVar absZ = (IntVar) identitymap.get(this.absZ);


            identitymap.put(this, new PropDivXYZ(X, Y, Z, absX, absY, absZ));
        }
    }
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
139
    @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 PropGreaterOrEqualX_YC(new IntVar[]{X, Y}, this.cste));
        }
    }
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
124
    @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 PropScale(X, this.Y, Y));
        }
    }
View Full Code Here
84
85
86
87
88
89
90
91
92
93
94
95
96
97
    @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]);
            this.vars[2].duplicate(solver, identitymap);
            IntVar Z = (IntVar) identitymap.get(this.vars[2]);

            identitymap.put(this, new PropTimesNaive(X, Y, Z));
        }
    }
View Full Code Here
189
190
191
192
193
194
195
196
197
198
199
200
    @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 PropEqualXY_C(new IntVar[]{X, Y}, this.cste));
        }
    }
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
76
    @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 PropBinAC3(X, Y, (CouplesBitSetTable) relation.duplicate()));
        }
    }
View Full Code Here
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
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.