Package solver.search.strategy.decision.fast

Examples of solver.search.strategy.decision.fast.FastDecision

98
99
100
101
102
103
104
105
106
107
108
109
    public Decision<IntVar> computeDecision(IntVar variable) {
        if (variable == null || variable.isInstantiated()) {
            return null;
        }
        int value = valueSelector.selectValue(variable);
        FastDecision d = decisionPool.getE();
        if (d == null) {
            d = new FastDecision(decisionPool);
        }
        d.set(variable, value, decisionOperator);
        return d;
    }
View Full Code Here
177
178
179
180
181
182
183
184
185
186
187
188
        }
    if(LOGGER.isInfoEnabled())
      LOGGER.info("% objective in [" + globalLB + ", " + globalUB + "]");
        int target;
        target = (globalLB * coefLB + globalUB * coefUB) / (coefLB + coefUB);
        FastDecision dec = pool.getE();
        if (dec == null) dec = new FastDecision(pool);
        dec.set(obj, target, decOperator);
    if(LOGGER.isInfoEnabled())
      LOGGER.info("% trying " + obj+" "+(decOperator==decUB?"<=":">=")+" "+target);
        return dec;
    }
View Full Code Here
68
69
70
71
72
73
74
75
76
77
        super.fixSomeVariables(cause);
    }

    @Override
    protected void impose(int id, ICause cause) throws ContradictionException {
        FastDecision d = (FastDecision) duplicator.duplicate();
        d.set(vars[id], bestSolution[id], DecisionOperator.int_eq);
        last = d;
        ExplanationToolbox.imposeDecisionPath(mSolver, d);
    }
View Full Code Here
75
76
77
78
79
80
81
82
83
84
85
        mSolver.getEnvironment().worldPush();
        super.fixSomeVariables(cause);
        mSolver.getEnvironment().worldPop();
        while (!queue.isEmpty()) {
            int id = queue.pollFirst();
            FastDecision d = (FastDecision) duplicator.duplicate();
            d.set(vars[id], bestSolution[id], DecisionOperator.int_eq);
            last = d;
            ExplanationToolbox.imposeDecisionPath(mSolver, d);
        }
    }
View Full Code Here
75
76
77
78
79
80
81
82
83
84
85
        mSolver.getEnvironment().worldPush();
        super.fixSomeVariables(cause);
        mSolver.getEnvironment().worldPop();
        while (!queue.isEmpty()) {
            int id = queue.pollFirst();
            FastDecision d = (FastDecision) duplicator.duplicate();
            d.set(vars[id], bestSolution[id], DecisionOperator.int_eq);
            last = d;
            ExplanationToolbox.imposeDecisionPath(mSolver, d);
        }
    }
View Full Code Here
152
153
154
155
156
157
158
159
160
161
162
163
164
            int lb = variable.getLB();
            int ub = variable.getUB();
            currentVal = random.nextBoolean() ? lb : ub;
        }

        FastDecision currrent = decisionPool.getE();
        if (currrent == null) {
            currrent = new FastDecision(decisionPool);
        }
        currrent.set(variable, currentVal, DecisionOperator.int_eq);
        //System.out.printf("D: %d, %d: %s\n", currentVar, currentVal, best);
        return currrent;
    }
View Full Code Here
152
153
154
155
156
157
158
159
160
161
        x = vars[x].getValue()-offset;
        if(x==vars.length){
          return null;
        }
      }
      FastDecision d = pool.getE();
      if(d==null)d=new FastDecision(pool);
      d.set(vars[x], vars[x].getLB(), DecisionOperator.int_eq);
      return d;
    }
View Full Code Here
252
253
254
255
256
257
258
259
260
261
262
263
264
                int ub = variable.getUB();
                currentVal = vAct[currentVar].activity(lb) < vAct[currentVar].activity(ub) ?
                        lb : ub;
            }
        }
        FastDecision currrent = decisionPool.getE();
        if (currrent == null) {
            currrent = new FastDecision(decisionPool);
        }
        currrent.set(variable, currentVal, DecisionOperator.int_eq);
//            System.out.printf("D: %d, %d: %s\n", currentVar, currentVal, best);
        return currrent;
    }
View Full Code Here
103
104
105
106
107
108
109
110
111
112
113
114
    public Decision<IntVar> computeDecision(IntVar variable) {
        if (variable == null || variable.isInstantiated()) {
            return null;
        }
        int currentVal = valueSelector.selectValue(variable);
        FastDecision currrent = decisionPool.getE();
        if (currrent == null) {
            currrent = new FastDecision(decisionPool);
        }
        currrent.set(variable, currentVal, DecisionOperator.int_eq);
        return currrent;
    }
View Full Code Here
TOP

Related Classes of solver.search.strategy.decision.fast.FastDecision

  • samples.HamiltonianPathTest$ConstructorIntHeur
  • solver.explanations.strategies.PGN4Explanation
  • solver.explanations.strategies.RandomNeighborhood4Explanation
  • solver.explanations.strategies.RPGN4Explanation
  • solver.objective.ObjectiveStrategy
  • solver.search.strategy.selectors.variables.ActivityBased
  • solver.search.strategy.selectors.variables.DomOverWDeg
  • solver.search.strategy.selectors.variables.ImpactBased
  • solver.search.strategy.strategy.IntStrategy
    • 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.