Function pos

gecode/float/arithmetic/mult.hpp:40–43

  /// Test whether \a x is positive
  template<class View>
  forceinline bool
  pos(const View& x) {
    return x.min() >= 0.0;
  }
  /// Test whether \a x is negative
  template<class View>
  forceinline bool