Method min

gecode/float/view/float.hpp:59–62

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