Method max

gecode/int/trace/bool-delta.hpp:52–55

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