Method reschedule

gecode/int/task/man-to-opt.hpp:94–98

  template<class ManTask>
  forceinline void
  ManToOptTask<ManTask>::reschedule(Space& home, Propagator& p, PropCond pc) {
    _m.reschedule(home, p, PC_BOOL_VAL);
    ManTask::reschedule(home, p, pc);
  }

}}