Function reschedule

gecode/int/count/rel.hpp:91–94

  }

  forceinline void
  reschedule(Space& home, Propagator& p, IntSet& y) {
    (void) home; (void) p; (void) y;
  }
  template<class VY>
  forceinline void
  reschedule(Space& home, Propagator& p, VY y) {