Method max

gecode/float/val.hpp:73–76

    return x.lower();
  }
  forceinline FloatNum
  FloatVal::max(void) const {
    return x.upper();
  }
  forceinline FloatNum
  FloatVal::size(void) const {
    return gecode_boost::numeric::width(x);