| 142 | return n==0 ? x.zero(home) : (n==1 ? x.one(home) : ME_BOOL_NONE); |
| 143 | } |
| 144 | forceinline ModEvent |
| 145 | NegBoolView::eq(Space& home, int n) { |
| 146 | return n==0 ? x.one(home) : (n==1 ? x.zero(home) : ME_BOOL_FAILED); |
| 147 | } |
| 148 | forceinline ModEvent |
| 149 | NegBoolView::eq(Space& home, long long int n) { |
| 150 | return n==0 ? x.one(home) : (n==1 ? x.zero(home) : ME_BOOL_FAILED); |