Package solver.variables

Examples of solver.variables.Variable

111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
    @Override
    public void explain(Deduction d, Explanation e) {
        e.add(solver.getExplainer().getPropagatorActivation(this));
        e.add(aCause);
        // the current deduction is due to the current domain of the involved variables
        Variable var = d.getVar();
        if (var.equals(x)) {
            // a deduction has been made on x ; this is related to y only
            y.explain(VariableState.LB, e);
        } else if (var.equals(y)) {
            x.explain(VariableState.UB, e);
        } else {
            super.explain(d, e);
        }
    }
View Full Code Here
206
207
208
209
210
211
212
213
214
    }

    @Override
    public void explain(Deduction d, Explanation e) {
        e.add(solver.getExplainer().getPropagatorActivation(this));
        Variable reason = (d.getVar() == vars[0]) ? vars[1] : vars[0];
        reason.explain(VariableState.DOM, e);
        e.add(aCause);
    }
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
    @Override
    public void explain(Deduction d, Explanation e) {
        e.add(solver.getExplainer().getPropagatorActivation(this));
        e.add(aCause);
        // the current deduction is due to the current domain of the involved variables
        Variable var = d.getVar();
        if (var.equals(x)) {
            // a deduction has been made on x ; this is related to y only
            y.explain(VariableState.UB, e);
        } else if (var.equals(y)) {
            x.explain(VariableState.UB, e);
        } else {
            super.explain(d, e);
        }
    }
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
134
    }

    @Override
    public void explain(Deduction d, Explanation e) {
        e.add(solver.getExplainer().getPropagatorActivation(this));
        Variable var = d.getVar();
        if (var.equals(x)) {
            // a deduction has been made on x ; this is related to y only
            y.explain(VariableState.DOM, e);
        } else if (var != null) {
            x.explain(VariableState.DOM, e);
        }
View Full Code Here
135
136
137
138
139
140
141
142
143
144
145
146
    public String toString() {
        StringBuilder sb = new StringBuilder(32);
        sb.append("Regular@").append(_num).append("(");
        for (int i = 0; i < vars.length; i++) {
            if (i > 0) sb.append(", ");
            Variable var = vars[i];
            sb.append(var.getName());
        }
        sb.append(")");
        //        sb.append(propagators[0].toString());
        return sb.toString();
    }
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
103
                int pidx = props[j].getId();
                int prio = props[j].getPriority().priority;
                //System.out.printf("%s\n", props[j]);
                vars = props[j].getVars();
                for (int k = 0; k < vars.length; k++) {
                    Variable var = retrieveVar(vars[k]);
                    matrix[p2idx.get(pidx)][v2idx.get(var.getId())] = prio;
                }
            }
        }
        StringBuilder st = new StringBuilder();
        switch (type) {
View Full Code Here
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
    @Override
    public void explain(Deduction d, Explanation e) {
        e.add(solver.getExplainer().getPropagatorActivation(this));
        e.add(aCause);
        // the current deduction is due to the current domain of the involved variables
        Variable var = d.getVar();
        if (var.equals(x)) {
            // a deduction has been made on x ; this is related to y only
            y.explain(VariableState.LB, e);
        } else if (var.equals(y)) {
            x.explain(VariableState.UB, e);
        } else {
            super.explain(d, e);
        }
    }
View Full Code Here
163
164
165
166
167
168
169
170
    @Override
    public void explain(Deduction d, Explanation e) {
        e.add(solver.getExplainer().getPropagatorActivation(this));
        e.add(aCause);
        Variable reason = (d.getVar() == vars[0]) ? vars[1] : vars[0];
        reason.explain(VariableState.DOM, e);
    }
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
    @Override
    public void explain(Deduction d, Explanation e) {
        e.add(solver.getExplainer().getPropagatorActivation(this));
        e.add(aCause);
        // the current deduction is due to the current domain of the involved variables
        Variable var = d.getVar();
        if (var.equals(x)) {
            // a deduction has been made on x ; this is related to y only
            y.explain(VariableState.LB, e);
        } else if (var.equals(y)) {
            x.explain(VariableState.UB, e);
        } else {
            super.explain(d, e);
        }
    }
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
    public void init() throws ContradictionException {
    }

    @Override
    public Decision getDecision() {
        Variable decVar = firstNotInst(testingSet, 0, cIdx);
        if (decVar == null) {
            if (candidate != null && !candidate.isInstantiated()) {
                testingSet[cIdx++] = candidate;
                decVar = candidate;
            } else {
View Full Code Here
TOP

Related Classes of solver.variables.Variable

  • solver.constraints.binary.PropDistanceXYC
  • solver.constraints.binary.PropElement
  • solver.constraints.binary.PropGreaterOrEqualX_Y
  • solver.constraints.binary.PropGreaterOrEqualX_YC
  • solver.constraints.binary.PropGreaterOrEqualXY_C
  • solver.constraints.binary.PropLessOrEqualXY_C
  • solver.constraints.binary.PropNotEqualX_Y
  • solver.constraints.binary.PropNotEqualX_YC
  • solver.constraints.binary.PropNotEqualXY_C
  • solver.constraints.nary.automata.PropRegular
    • 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.