Method slack

gecode/float/trace/trace-view.hpp:59–62

  forceinline void
  FloatTraceView::update(Space&, FloatTraceView) {}
  forceinline FloatNum
  FloatTraceView::slack(FloatView x) {
    return x.size();
  }

}}