Method subsumed

test/set.cpp:196–199

  }

  bool
  SetTestSpace::subsumed(bool b) {
    return b ? (propagators() == 0) : true;
  }

  void
  SetTestSpace::rel(int i, Gecode::SetRelType srt, const Gecode::IntSet& is) {