Method restart_limit

gecode/driver/options.hpp:428–431

  }

  inline void
  Options::restart_limit(unsigned long long int n) {
    _r_limit.value(n);
  }
  inline unsigned long long int
  Options::restart_limit(void) const {
    return _r_limit.value();