Method slack

gecode/int/trace/int-trace-view.hpp:114–117

  }

  forceinline unsigned long long int
  IntTraceView::slack(IntView x) {
    return x.width()-1;
  }


}}