Method gr

gecode/int/view/neg-bool.hpp:128–131

    return n==1 ? x.zero(home) : (n <= 0 ? ME_BOOL_NONE : ME_BOOL_FAILED);
  }
  forceinline ModEvent
  NegBoolView::gr(Space& home, int n) {
    return n==0 ? x.zero(home) : (n >= 1 ? ME_BOOL_FAILED : ME_BOOL_NONE);
  }
  forceinline ModEvent
  NegBoolView::gr(Space& home, long long int n) {
    return n==0 ? x.zero(home) : (n >= 1 ? ME_BOOL_FAILED : ME_BOOL_NONE);