Method propagators

test/float.cpp:409–412

  }

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


  const Gecode::FloatRelType FloatRelTypes::frts[] =