Method max

gecode/float/var-imp/float.hpp:70–73

    return dom.min();
  }
  forceinline FloatNum
  FloatVarImp::max(void) const {
    return dom.max();
  }
  forceinline FloatVal
  FloatVarImp::val(void) const {
    return dom;