Method fail

gecode/kernel/core.hpp:3129–3133

    return s;
  }
  forceinline unsigned long long int
  MetaInfo::fail(void) const {
    assert(type() == RESTART);
    return f;
  }
  forceinline const Space*
  MetaInfo::last(void) const {
    assert(type() == RESTART);