@Override public void impose(Store store) { x.putModelConstraint(this, getConsistencyPruningEvent(x)); p.putModelConstraint(this, getConsistencyPruningEvent(p)); store.addChanged(this); store.countConstraint(); }
// registers the constraint in the constraint store @Override public void impose(Store store) { result.putModelConstraint(this, getConsistencyPruningEvent(result)); for (Var V : list) V.putModelConstraint(this, getConsistencyPruningEvent(V)); store.addChanged(this); store.countConstraint(); }
@Override public void impose(Store store) { this.store = store; int level = store.level; int pos = 0; positionMapping = new HashMap<IntVar, Integer>(); for (IntVar v : listAlldiff) { positionMapping.put(v, pos++); v.putModelConstraint(this, getConsistencyPruningEvent(v)); queueVariable(level, v); } grounded = new TimeStamp<Integer>(store, 0); store.addChanged(this); store.countConstraint(); }