Method time

gecode/search/stop.cpp:50–53

    return new FailStop(l);
  }
  Stop*
  Stop::time(double l) {
    return new TimeStop(l);
  }
  Stop*
  Stop::restart(unsigned long long int  l) {
    return new RestartStop(l);