Method propagators

test/int.cpp:413–416

  }

  unsigned int
  TestSpace::propagators(void) {
    return Gecode::PropagatorGroup::all.size(*this);
  }

  const Gecode::IntPropLevel IntPropLevels::ipls[] =
    {Gecode::IPL_DOM,Gecode::IPL_BND,Gecode::IPL_VAL};