@Override
public void backPropagate(int mask) throws ContradictionException {
// one of the variable as changed externally, this involves a complete update of this
if (!EventType.isRemove(mask)) {
int elb = A.getLB() + B.getLB();
int eub = A.getUB() + B.getUB();
int ilb = LB.get();
int iub = UB.get();
int old_size = iub - ilb; // is == 0, then the view is already instantiated
boolean up = false, down = false;
EventType e = EventType.VOID;
if (elb > ilb) {
if (elb > iub) {
this.contradiction(this, MSG_LOW);
}
VALUES.clear(ilb - OFFSET, elb - OFFSET);
ilb = VALUES.nextSetBit(ilb - OFFSET) + OFFSET;
LB.set(ilb);
e = EventType.INCLOW;
down = true;
}
if (eub < iub) {
if (eub < ilb) {
this.contradiction(this, MSG_LOW);
}
VALUES.clear(eub - OFFSET + 1, iub - OFFSET + 1);
iub = VALUES.prevSetBit(iub - OFFSET + 1) + OFFSET;
UB.set(iub);
if (e != EventType.VOID) {
e = EventType.BOUND;
} else {
e = EventType.DECUPP;
}
up = true;
}
int size = VALUES.cardinality();
SIZE.set(size);
if (ilb > iub) {
this.contradiction(this, MSG_EMPTY);
}
if (down || size == 1) {
filterOnGeq(this, ilb);
}
if (up || size == 1) { // size == 1 means instantiation, then force filtering algo
filterOnLeq(this, iub);
}
if (ilb == iub) { // size == 1 means instantiation, then force filtering algo
if (old_size > 0) {
notifyPropagators(EventType.INSTANTIATE, this);
}
} else {
notifyPropagators(e, this);
}
}
}
@Override
public void backPropagate(int mask) throws ContradictionException {
// one of the variable as changed externally, this involves a complete update of this
// one of the variable as changed externally, this involves a complete update of this
if (!EventType.isRemove(mask)) {
int lA = A.getLB(), uA = A.getUB();
int lB = B.getLB(), uB = B.getUB();
int elb = Math.max(lA, lB);
int eub = Math.max(uA, uB);
int ilb = LB.get();
int iub = UB.get();
boolean change = false;
EventType e = EventType.VOID;
if (elb > ilb) {
if (elb > iub) {
this.contradiction(this, MSG_LOW);
}
SIZE.add(elb - ilb);
ilb = elb;
LB.set(ilb);
e = EventType.INCLOW;
change = true;
}
if (eub < iub) {
if (eub < ilb) {
this.contradiction(this, MSG_LOW);
}
SIZE.add(eub - iub);
iub = eub;
UB.set(iub);
if (e != EventType.VOID) {
e = EventType.BOUND;
} else {
e = EventType.DECUPP;
}
change |= true;
}
if (ilb > iub) {
this.contradiction(this, MSG_EMPTY);
}
if (change) {
if (ilb == iub) {
notifyPropagators(EventType.INSTANTIATE, this);
} else {
notifyPropagators(e, this);
}
}
}
}
@Override
public boolean instantiateTo(int value, ICause cause, boolean informCause)
throws ContradictionException {
if (informCause) {
cause = Cause.Null;
}
int lb = LB.get();
if (this.instantiated()) {
if (value != lb) {
this.contradiction(cause, MSG_EMPTY);
}
return false;
} else if (contains(value)) {
int aValue = value - OFFSET;
// todo delta
this.VALUES.clear();
this.VALUES.set(aValue);
this.LB.set(value);
this.UB.set(value);
this.SIZE.set(1);
if (VALUES.isEmpty()) {
this.contradiction(cause, MSG_EMPTY);
}
filterOnLeq(cause, value);
filterOnGeq(cause, value);
this.notifyPropagators(EventType.INSTANTIATE, cause);
return true;
} else {
this.contradiction(cause, MSG_UNKNOWN);
return false;
}
}