Package solver.variables.events

Examples of solver.variables.events.IntEventType

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

    @Override
    public void transformEvent(IEventType evt, ICause cause) throws ContradictionException {
    RealEventType realevt;
    IntEventType intevt = (IntEventType) evt;
    switch (intevt){
      case INSTANTIATE:
      case BOUND:
        realevt = RealEventType.BOUND;break;
      case INCLOW:realevt = RealEventType.INCLOW;break;
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
    @Override
    public boolean removeValue(int value, ICause cause) throws ContradictionException {
        int inf = getLB();
        int sup = getUB();
        if (inf <= value && value <= sup) {
      IntEventType e = IntEventType.REMOVE;

            boolean done = var.removeValue(-value, this);

            if (value == inf) {
                e = IntEventType.INCLOW;
View Full Code Here
125
126
127
128
129
130
131
132
133
134
135
    @Override
    public boolean updateLowerBound(int value, ICause cause) throws ContradictionException {
        int old = this.getLB();
        if (old < value) {
      IntEventType e = IntEventType.INCLOW;
            boolean done = var.updateUpperBound(-value, this);
            if (isInstantiated()) {
                e = IntEventType.INSTANTIATE;
            }
            if (done) {
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
    @Override
    public boolean updateUpperBound(int value, ICause cause) throws ContradictionException {
        int old = this.getUB();
        if (old > value) {
      IntEventType e = IntEventType.DECUPP;
            boolean done = var.updateLowerBound(-value, this);
            if (isInstantiated()) {
                e = IntEventType.INSTANTIATE;
            }
            if (done) {
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
    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 - cste, this);
            if (done) {
                if (value == inf) {
                    e = IntEventType.INCLOW;
View Full Code Here
133
134
135
136
137
138
139
140
141
142
143
    @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 - cste, this);
            if (isInstantiated()) {
                e = IntEventType.INSTANTIATE;
            }
            if (done) {
View Full Code Here
152
153
154
155
156
157
158
159
160
161
162
    @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 - cste, this);
            if (isInstantiated()) {
                e = IntEventType.INSTANTIATE;
            }
            if (done) {
View Full Code Here
160
161
162
163
164
165
166
167
168
169
170
                    solver.getExplainer().removeValue(this, value, cause);
                }
//            monitors.forEachRemVal(onContradiction.set(this, EventType.REMOVE, cause));
                this.contradiction(cause, IntEventType.REMOVE, MSG_REMOVE);
            }
      IntEventType e = IntEventType.REMOVE;
            this.VALUES.clear(aValue);
            this.SIZE.add(-1);
            if (reactOnRemoval) {
                delta.add(aValue + OFFSET, cause);
            }
View Full Code Here
305
306
307
308
309
310
311
312
313
314
315
                if (Configuration.PLUG_EXPLANATION) {
                    solver.getExplainer().updateLowerBound(this, old, oub + 1, cause);
                }
                this.contradiction(cause, IntEventType.INCLOW, MSG_LOW);
            } else {
        IntEventType e = IntEventType.INCLOW;

                int aValue = value - OFFSET;
                if (reactOnRemoval) {
                    //BEWARE: this loop significantly decreases performances
                    for (int i = old - OFFSET; i < aValue; i = VALUES.nextSetBit(i + 1)) {
View Full Code Here
361
362
363
364
365
366
367
368
369
370
371
                if (Configuration.PLUG_EXPLANATION) {
                    solver.getExplainer().updateUpperBound(this, old, olb - 1, cause);
                }
                this.contradiction(cause, IntEventType.DECUPP, MSG_UPP);
            } else {
        IntEventType e = IntEventType.DECUPP;
                int aValue = value - OFFSET;
                if (reactOnRemoval) {
                    //BEWARE: this loop significantly decreases performances
                    for (int i = old - OFFSET; i > aValue; i = VALUES.prevSetBit(i - 1)) {
                        delta.add(i + OFFSET, cause);
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.