Package solver.variables

Examples of solver.variables.Variable

100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
    //***********************************************************************************


    @Override
    public void onContradiction(ContradictionException cex) {
        Variable curDecVar = solver.getSearchLoop().getLastDecision().getDecisionVariable();
        if (candidate == null && cIdx < k && !search(testingSet, 0, cIdx, curDecVar)) {
      boolean inScope = false;
      for(Variable v:mainStrategy.vars){
        if(v.getId()==curDecVar.getId()){
          inScope = true;
          break;
        }
      }if(inScope){
        candidate = curDecVar;
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
    }

    @Override
    public Decision getDecision() {
    if(active){
      Variable decVar = firstNotInst();
      if (decVar != null) {
        Decision d = mainStrategy.computeDecision(decVar);
        if(d != null){
          return d;
        }
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
    //***********************************************************************************


    @Override
    public void onContradiction(ContradictionException cex) {
        Variable curDecVar = solver.getSearchLoop().getLastDecision().getDecisionVariable();
    if(nbCV>0 && conflictingVariables[nbCV-1]==curDecVar)return;
    if(inScope(curDecVar)){
      if(nbCV<conflictingVariables.length){
        conflictingVariables[nbCV++] = curDecVar;
      }else{
View Full Code Here
122
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
136
137
138
139
140
141
142
143
144
145
146
147
    }

    @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
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.