Method min

gecode/int/trace/bool-delta.hpp:48–51

    delta = -1;
  }
  forceinline int
  BoolTraceDelta::min(void) const {
    return delta;
  }
  forceinline int
  BoolTraceDelta::max(void) const {
    return delta;