Method reason

gecode/kernel/core.hpp:3120–3123

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