Method zero_in

gecode/float/val.hpp:99–102

    return gecode_boost::numeric::in(n,x);
  }
  forceinline bool
  FloatVal::zero_in(void) const {
    return gecode_boost::numeric::zero_in(x);
  }

  forceinline FloatVal
  FloatVal::hull(FloatNum x, FloatNum y) {