Method min

gecode/float/var/float.hpp:58–61

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