Package solver.exception

Examples of solver.exception.SolverException

64
65
66
67
68
69
70
71
72
    AbstractStrategy<IntVar> mainStrategy = null;

    private static IntVar[] extractIntVars(Solver solver) {
        IntVar[] ivars = ArrayUtils.append(solver.retrieveBoolVars(), solver.retrieveIntVars());
        if (ivars.length != solver.getNbVars()) {
            throw new SolverException("GenerateAndTest search cannot be applied on non integer (and boolean) variables");
        }
        return ivars;
    }
View Full Code Here
45
46
47
48
49
50
51
52
53
        if (low == Double.NEGATIVE_INFINITY) low = -Double.MAX_VALUE;
        double upp = var.getUB();
        if (upp == Double.POSITIVE_INFINITY) upp = Double.MAX_VALUE;
        double r = (low + upp) / 2.0;
        if (r <= low || r >= upp) {
            throw new SolverException("RealDomainMiddle: find a value outside current domain!");
        }
        return r;
    }
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
    protected CircularQueue<Deduction> pending = new CircularQueue<>(16);

    public RecorderExplanationEngine(Solver solver) {
        super(solver);
        if (!Configuration.PLUG_EXPLANATION) {
            throw new SolverException("\nExplanations are not plugged in.\n" +
                    "To activate explanations, create a user.property file at project root directory " +
                    "which contains the following two lines:\n" +
                    "# Enabling explanations:\n" +
                    "PLUG_EXPLANATION=true\n");
        }
View Full Code Here
162
163
164
165
166
167
168
169
170
171
172
        if (mapvar == null) {
            mapvar = new TIntObjectHashMap<>();
            if (isLeft) {
                if (!decision.hasNext()) {
                    System.out.println(decision);
                    throw new SolverException("Arg!");
                }
                leftbranchdecisions.put(vid, mapvar);
            } else {
                rightbranchdecisions.put(vid, mapvar);
            }
View Full Code Here
73
74
75
76
77
78
79
80
                || (ubi < 0 && outsideval == initUB)) {
            int id = ubidx.add(1);
            resizeubs(id + 1);
            ubs[id] = outsideval;
        } else {
            throw new SolverException("Unknown value");
        }
    }
View Full Code Here
86
87
88
89
90
91
92
93
                || (lbi < 0 && oldLB == initLB)) {
            int id = lbidx.add(1);
            resizelbs(id + 1);
            lbs[id] = newLB - 1;
        } else {
            throw new SolverException("Unknown value");
        }
    }
View Full Code Here
99
100
101
102
103
104
105
106
                || (ubi < 0 && oldUB == initUB)) {
            int id = ubidx.add(1);
            resizeubs(id + 1);
            ubs[id] = newUB + 1;
        } else {
            throw new SolverException("Unknown value");
        }
    }
View Full Code Here
147
148
149
150
151
152
153
                high = mid - 1;
            } else {
                return mid; // key found
            }
        }
        throw new SolverException("Cannot found correct interval");
    }
View Full Code Here
168
169
170
171
172
173
174
                low = mid + 1;
            } else {
                return mid; // key found
            }
        }
        throw new SolverException("Cannot found correct interval");
    }
View Full Code Here
77
78
79
80
81
82
83
84
85
     *
     * @param active true or false
     */
    public void activeUserExplanation(boolean active) {
        if (!Configuration.PROP_IN_EXP) {
            throw new SolverException("Configuration.properties should be modified to allow storing propagators in explanations. (PROP_IN_EXP property).");
        }
        userE = active;
    }
View Full Code Here
TOP

Related Classes of solver.exception.SolverException

  • choco.SolverTest
  • solver.constraints.Arithmetic
  • solver.constraints.binary.DistanceXYC
  • solver.constraints.binary.PropDistanceXYC
  • solver.constraints.binary.PropScale
  • solver.constraints.extension.nary.IterTuplesTable
  • solver.constraints.extension.nary.PropLargeFC
  • solver.constraints.extension.nary.PropLargeGAC2001
  • solver.constraints.extension.nary.PropLargeGAC3rm
  • solver.constraints.extension.nary.TuplesLargeTable
    • 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.