Method restart

gecode/kernel/core.hpp:3115–3119

    return t;
  }
  forceinline unsigned long int
  MetaInfo::restart(void) const {
    assert(type() == RESTART);
    return r;
  }
  forceinline MetaInfo::RestartReason
  MetaInfo::reason(void) const {
    return rr;