Method run

test/groups.cpp:89–104

Perform actual tests

        n(n0), fix(fix0), all(all0) {}
    /// Perform actual tests
    bool run(void) {
      using namespace Gecode;
      GroupSpace* s = new GroupSpace(n);
      if (fix)
        (void) s->status();
      if (all) {
        PropagatorGroup::all.kill(*s);
      } else {
        s->a.kill(*s);
        s->b.kill(*s);
      }
      (void) s->status();
      unsigned int p = PropagatorGroup::all.size(*s);
      delete s;
      return p == 0U;
    }
  };