// 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 imposeDecomposition(Store store) {
if (constraints == null) decompose(store);
for (Constraint c : constraints) store.impose(c, queueIndex);
}