Examples of ESat

Examples of util.ESat

842
843
844
845
846
847
848
849
850
851
852
     * Presumably, not all variables are instantiated.
     */
    public ESat isSatisfied() {
        int OK = 0;
        for (int c = 0; c < cIdx; c++) {
            ESat satC = cstrs[c].isSatisfied();
            if (ESat.FALSE == satC) {
                if (LoggerFactory.getLogger("solver").isErrorEnabled()) {
                    LoggerFactory.getLogger("solver").error("FAILURE >> {} ({})", cstrs[c].toString(), satC);
                }
                return ESat.FALSE;
View Full Code Here

Examples of util.ESat

113
114
115
116
117
118
119
120
121
122
123
124
125
126
     * <code>ESat.UNDIFINED</code> otherwise (more decisions/filtering must be made before concluding about constraint satisfaction)
     */
    public ESat isSatisfied() {
        int sat = 0;
        for (int i = 0; i < propagators.length; i++) {
            ESat entail = propagators[i].isEntailed();
            if (entail.equals(ESat.FALSE)) {
                return entail;
            } else if (entail.equals(ESat.TRUE)) {
                sat++;
            }
        }
        if (sat == propagators.length) {
            return ESat.TRUE;
View Full Code Here

Examples of util.ESat

65
66
67
68
69
70
71
72
73
74
75
    }


    @Override
    public void propagate(int evtmask) throws ContradictionException {
        ESat condition = checkCondition();
        if (condition == ESat.TRUE) {
            setPassive();
            for (Constraint cstr : condTrue) {
                postTemp(cstr);
            }
View Full Code Here

Examples of util.ESat

57
58
59
60
61
62
63
64
65
66
67
        this.original = original;
    }

    @Override
    public void propagate(int evtmask) throws ContradictionException {
        ESat op = original.isSatisfied();
        if (op == ESat.TRUE) {
            contradiction(vars[0], "");
        }
        if (op == ESat.FALSE) {
            setPassive();
View Full Code Here

Examples of util.ESat

68
69
70
71
72
73
74
75
76
77
78
        }
    }

    @Override
    public ESat isEntailed() {
        ESat op = original.isSatisfied();
        if (op == ESat.TRUE) {
            return ESat.FALSE;
        }
        if (op == ESat.FALSE) {
            return ESat.TRUE;
View Full Code Here

Examples of util.ESat

98
99
100
101
102
103
104
105
106
107
108
                reifCons.activate(0);
            } else {
                reifCons.activate(1);
            }
        } else {
            ESat sat = trueCons.isSatisfied();
            if (sat == ESat.TRUE) {
                setPassive();
                bVar.setToTrue(aCause);
                reifCons.activate(0);
            } else if (sat == ESat.FALSE) {
View Full Code Here

Examples of util.ESat

133
134
135
136
137
138
139
140
141
142
143
144
145
            } else {
                return falseCons.isSatisfied();
            }
        } else {
            // a constraint an its opposite can neither be both true nor both false
            ESat tie = trueCons.isSatisfied();
            if (tie != ESat.UNDEFINED) {
                ESat fie = falseCons.isSatisfied();
                if (tie == fie) {
                    return ESat.FALSE;
                }
            }
        }
View Full Code Here

Examples of util.ESat

46
47
48
49
50
51
52
53
54
55
56
57
58
59
    miniSat = (PropSat) propagators[0];
  }

  @Override
  public ESat isSatisfied() {
    ESat so = ESat.UNDEFINED;
    for (int i = 0; i < propagators.length; i++) {
      so = propagators[i].isEntailed();
      if (!so.equals(ESat.TRUE)) {
        return so;
      }
    }
    return so;
  }
View Full Code Here

Examples of util.ESat

441
442
443
444
445
446
447
448
449
450
451
  /**
   * Close the search, restore the last solution if any,
   * and set the feasibility and optimality variables.
   */
  private void close() {
    ESat sat = ESat.FALSE;
    if (measures.getSolutionCount() > 0) {
      sat = ESat.TRUE;
      if (objectivemanager.isOptimization()) {
        measures.setObjectiveOptimal(!hasReachedLimit);
      }
View Full Code Here

Examples of util.ESat

118
119
120
121
122
123
124
125
126
127
128
129

    @Override
    public ESat isEntailed() {
        for (INogood ng : allnogoods) {
            ESat sat = ng.isEntailed();
            if (!sat.equals(ESat.TRUE)) {
                return sat;
            }
        }
        return ESat.TRUE;
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.