Method solution

gecode/kernel/core.hpp:3124–3128

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