Function nextafter

gecode/float/nextafter.hpp:46–49

Return next double value from \a x in direction \a y

  /// Return next double value from \a x in direction \a y
  forceinline double
  nextafter(double x, double y) {
    return _nextafter(x,y);
  }

}