Method max

gecode/float/view/float.hpp:63–66

    return x->min();
  }
  forceinline FloatNum
  FloatView::max(void) const {
    return x->max();
  }
  forceinline FloatNum
  FloatView::med(void) const {
    return x->med();