| 134 | /// Prune view \a x to exclude all values from \a s |
| 135 | template<class View> |
| 136 | forceinline ModEvent |
| 137 | exclude(Space& home, View& x, int s) { |
| 138 | return x.nq(home,s); |
| 139 | } |
| 140 | /// Prune view \a x to exclude all values from \a s |
| 141 | template<class View> |
| 142 | forceinline ModEvent |