Method max

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

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

  forceinline FloatVal
  FloatVar::domain(void) const {