Method commit

gecode/set/branch/val-commit.hpp:48–51

  ValCommitInc::ValCommitInc(Space& home, ValCommitInc& vc)
    : ValCommit<SetView,int>(home,vc) {}
  forceinline ModEvent
  ValCommitInc::commit(Space& home, unsigned int a, SetView x, int, int n) {
    return (a == 0) ? x.include(home,n) : x.exclude(home,n);
  }
  forceinline NGL*
  ValCommitInc::ngl(Space& home, unsigned int a, SetView x, int n) const {
    if (a == 0)