Method slack

gecode/int/trace/bool-trace-view.hpp:60–63

  forceinline void
  BoolTraceView::update(Space&, BoolTraceView) {}
  forceinline unsigned int
  BoolTraceView::slack(BoolView x) {
    return x.width()-1;
  }