Method in

gecode/float/var-imp/float.hpp:103–106

    return dom.zero_in();
  }
  forceinline bool
  FloatVarImp::in(FloatNum n) const {
    return dom.in(n);
  }
  forceinline bool
  FloatVarImp::in(const FloatVal& n) const {
    return subset(n,dom);