Package solver.variables.events

Examples of solver.variables.events.IntEventType

111
112
113
114
115
116
117
118
119
120
121
            if (Configuration.PLUG_EXPLANATION) {
                solver.getExplainer().removeValue(this, value, cause);
            }
            this.contradiction(cause, IntEventType.REMOVE, MSG_REMOVE);
        } else if (inf == value || value == sup) {
      IntEventType e;
            if (value == inf) {
                if (reactOnRemoval) {
                    delta.add(value, value, cause);
                }
                SIZE.add(-1);
View Full Code Here
188
189
190
191
192
193
194
195
196
197
198
                }
                this.contradiction(cause, IntEventType.INSTANTIATE, MSG_INST);
            }
            return false;
        } else if (contains(value)) {
      IntEventType e = IntEventType.INSTANTIATE;

            int lb = 0;
            int ub = 0;
            if (reactOnRemoval) {
                lb = this.LB.get();
View Full Code Here
248
249
250
251
252
253
254
255
256
257
258
                if (Configuration.PLUG_EXPLANATION) {
                    solver.getExplainer().updateLowerBound(this, old, oub + 1, cause);
                }
                this.contradiction(cause, IntEventType.INCLOW, MSG_LOW);
            } else {
        IntEventType e = IntEventType.INCLOW;

                if (reactOnRemoval) {
                    if (old <= value - 1) delta.add(old, value - 1, cause);
                }
                SIZE.add(old - value);
View Full Code Here
299
300
301
302
303
304
305
306
307
308
309
                if (Configuration.PLUG_EXPLANATION) {
                    solver.getExplainer().updateUpperBound(this, old, olb - 1, cause);
                }
                this.contradiction(cause, IntEventType.DECUPP, MSG_UPP);
            } else {
        IntEventType e = IntEventType.DECUPP;

                if (reactOnRemoval) {
                    if (value + 1 <= old) delta.add(value + 1, old, cause);
                }
                SIZE.add(value - old);
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
    public boolean removeValue(int value, ICause cause) throws ContradictionException {
        assert cause != null;
        int inf = getLB();
        int sup = getUB();
        if (inf <= value && value <= sup) {
      IntEventType e = IntEventType.REMOVE;

            boolean done = var.removeValue(value, this);
            if (done) {
                if (value == inf) {
                    e = IntEventType.INCLOW;
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
    @Override
    public boolean updateLowerBound(int value, ICause cause) throws ContradictionException {
        assert cause != null;
        int old = this.getLB();
        if (old < value) {
      IntEventType e = IntEventType.INCLOW;
            boolean done = var.updateLowerBound(value, this);
            if (isInstantiated()) {
                e = IntEventType.INSTANTIATE;
            }
            if (done) {
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
    @Override
    public boolean updateUpperBound(int value, ICause cause) throws ContradictionException {
        assert cause != null;
        int old = this.getUB();
        if (old > value) {
      IntEventType e = IntEventType.DECUPP;
            boolean done = var.updateUpperBound(value, this);
            if (isInstantiated()) {
                e = IntEventType.INSTANTIATE;
            }
            if (done) {
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
        assert cause != null;
        if (value % cste == 0) {
            int inf = getLB();
            int sup = getUB();
            if (inf <= value && value <= sup) {
        IntEventType e = IntEventType.REMOVE;

                boolean done = var.removeValue(value / cste, this);
                if (done) {
                    if (value == inf) {
                        e = IntEventType.INCLOW;
View Full Code Here
137
138
139
140
141
142
143
144
145
146
147
    @Override
    public boolean updateLowerBound(int value, ICause cause) throws ContradictionException {
        assert cause != null;
        int old = this.getLB();
        if (old < value) {
      IntEventType e = IntEventType.INCLOW;
            boolean done = var.updateLowerBound(MathUtils.divCeil(value, cste), this);
            if (isInstantiated()) {
                e = IntEventType.INSTANTIATE;
            }
            if (done) {
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
    @Override
    public boolean updateUpperBound(int value, ICause cause) throws ContradictionException {
        assert cause != null;
        int old = this.getUB();
        if (old > value) {
      IntEventType e = IntEventType.DECUPP;
            boolean done = var.updateUpperBound(MathUtils.divFloor(value, cste), this);
            if (isInstantiated()) {
                e = IntEventType.INSTANTIATE;
            }
            if (done) {
View Full Code Here
TOP

Related Classes of solver.variables.events.IntEventType

  • solver.variables.impl.BitsetArrayIntVarImpl
  • solver.variables.impl.BitsetIntVarImpl
  • solver.variables.impl.BoolVarImpl
  • solver.variables.impl.IntervalIntVarImpl
  • solver.variables.view.EqView
  • solver.variables.view.MinusView
  • solver.variables.view.OffsetView
  • solver.variables.view.RealView
  • solver.variables.view.ScaleView
    • 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.