Method slack

gecode/set/trace/trace-view.hpp:92–95

  }

  forceinline unsigned long long int
  SetTraceView::slack(SetView x) {
    return x.unknownSize();
  }

}}