Function pos

gecode/int/arithmetic/mult.hpp:69–72

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