// delta monitors
sdm = new ISetDeltaMonitor[n];
for (int i = 0; i < n; i++) {
sdm[i] = this.vars[i].monitorDelta(this);
}
elementForced = new IntProcedure() {
@Override
public void execute(int element) throws ContradictionException {
for (int i = 0; i < n; i++) {
vars[i].addToKernel(element, aCause);
}
}
};
elementRemoved = new IntProcedure() {
@Override
public void execute(int element) throws ContradictionException {
for (int i = 0; i < n; i++) {
vars[i].removeFromEnvelope(element, aCause);
}