Package solver.variables

Examples of solver.variables.SetVar

200
201
202
203
204
205
206
207
208
209
210
            for (int i = 0; i < size; i++) {
                this.vars[i].duplicate(solver, identitymap);
                aVars[i] = (SetVar) identitymap.get(this.vars[i]);
            }
            set.duplicate(solver, identitymap);
            SetVar S = (SetVar) identitymap.get(set);

            index.duplicate(solver, identitymap);
            IntVar I = (IntVar) identitymap.get(index);

            identitymap.put(this, new PropElement(I, aVars, offSet, S));
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
153
154
    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            vars[0].duplicate(solver, identitymap);
            SetVar s1 = (SetVar) identitymap.get(vars[0]);

            vars[1].duplicate(solver, identitymap);
            SetVar s2 = (SetVar) identitymap.get(vars[1]);

            identitymap.put(this, new PropSubsetEq(s1, s2));
        }
    }
View Full Code Here
80
81
82
83
84
85
86
87
88
89
    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            vars[0].duplicate(solver, identitymap);
            SetVar S = (SetVar) identitymap.get(vars[0]);

            identitymap.put(this, new PropNotEmpty(S));
        }
    }
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
153
154
    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            vars[0].duplicate(solver, identitymap);
            SetVar s1 = (SetVar) identitymap.get(vars[0]);

            vars[1].duplicate(solver, identitymap);
            SetVar s2 = (SetVar) identitymap.get(vars[1]);

            identitymap.put(this, new PropOffSet(s1, s2, offSet));
        }
    }
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
                case Variable.REAL:
                    RealVar r = (RealVar) vars[i];
                    realmap.put(r, new double[]{r.getLB(), r.getUB()});
                    break;
                case Variable.SET:
                    SetVar s = (SetVar) vars[i];
                    setmap.put(s, s.getValues());
                    break;
            }
        }
    }
View Full Code Here
81
82
83
84
85
86
87
88
    public void init() throws ContradictionException {
    }

    @Override
    public Decision<SetVar> getDecision() {
        SetVar variable = varSelector.getVariable(vars);
        return computeDecision(variable);
    }
View Full Code Here
193
194
195
196
197
198
199
200
201
202
203
    @Override
    public void duplicate(Solver solver, THashMap<Object, Object> identitymap) {
        if (!identitymap.containsKey(this)) {
            set.duplicate(solver, identitymap);
            SetVar se = (SetVar) identitymap.get(set);

            sum.duplicate(solver, identitymap);
            IntVar su = (IntVar) identitymap.get(sum);

            identitymap.put(this, new PropSumOfElements(se, weights == null ? null : weights.clone(), offSet, su, notEmpty));
View Full Code Here
40
41
42
43
44
45
46
47
48
49
50
51
    @Override
    public SetVar getVariable(SetVar[] variables) {
        int small_idx = -1;
        int delta = 0;
        for (int idx = 0; idx < variables.length; idx++) {
            SetVar variable = variables[idx];
            int d = variable.getEnvelopeSize() - variable.getKernelSize();
            if (d > delta) {
                delta = d;
                small_idx = idx;
            }
        }
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
54
    @Override
    public SetVar getVariable(SetVar[] variables) {
        int small_idx = -1;
        int delta = Integer.MAX_VALUE;
        for (int idx = 0; idx < variables.length; idx++) {
            SetVar variable = variables[idx];
            int d = variable.getEnvelopeSize() - variable.getKernelSize();
            if (d > 0 && d < delta) {
                delta = d;
                small_idx = idx;
            }
        }
View Full Code Here
181
182
183
184
185
186
187
188
189
190
191
    @Test(groups = "1s")
    public void testNoScope() {
        Solver solver = new Solver("OnceTest");
        IntVar[] x = VariableFactory.enumeratedArray("x", 5, 1, 6, solver);
        SetVar y = VariableFactory.set("y", 1, 10, solver);
        solver.post(ICF.alldifferent(x));
        solver.post(SetConstraintsFactory.member(x[0], y));
        solver.findSolution();
        AbstractStrategy strat = solver.getStrategy();
        Assert.assertTrue(strat instanceof StrategiesSequencer);
View Full Code Here
TOP

Related Classes of solver.variables.SetVar

  • choco.strategy.StrategyTest
  • solver.constraints.ConstraintTest
  • solver.constraints.set.PropBoolChannel
  • solver.constraints.set.PropCardinality
  • solver.constraints.set.PropElement
  • solver.constraints.set.PropIntersection
  • solver.constraints.set.PropIntMemberSet
  • solver.constraints.set.PropMaxElement
  • solver.constraints.set.PropMinElement
  • solver.constraints.set.PropNotEmpty
    • 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.