Method size

gecode/float/val.hpp:77–80

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