Method width

gecode/int/trace/bool-delta.hpp:56–59

    return delta;
  }
  forceinline unsigned int
  BoolTraceDelta::width(void) const {
    return 1U;
  }

}