| 134 | return n==0 ? x.zero(home) : (n >= 1 ? ME_BOOL_FAILED : ME_BOOL_NONE); |
| 135 | } |
| 136 | forceinline ModEvent |
| 137 | NegBoolView::nq(Space& home, int n) { |
| 138 | return n==0 ? x.zero(home) : (n==1 ? x.one(home) : ME_BOOL_NONE); |
| 139 | } |
| 140 | forceinline ModEvent |
| 141 | NegBoolView::nq(Space& home, long long int n) { |
| 142 | return n==0 ? x.zero(home) : (n==1 ? x.one(home) : ME_BOOL_NONE); |