Method min

gecode/float/var-imp/float.hpp:66–69

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