Example #1
0
  // 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();
  }
Example #2
0
  @Override
  public void imposeDecomposition(Store store) {

    if (constraints == null) decompose(store);

    for (Constraint c : constraints) store.impose(c, queueIndex);
  }