| 190 | |
| 191 | |
| 192 | forceinline ModEvent |
| 193 | SupportSet::tell(Space& home, IntView& x) const { |
| 194 | switch (bs.status()) { |
| 195 | case Support::BSS_NONE: |
| 196 | return ME_INT_FAILED; |
| 197 | case Support::BSS_ALL: |
| 198 | return ME_INT_NONE; |
| 199 | case Support::BSS_SOME: |
| 200 | { |
| 201 | ResultIter i(*this,x); |
| 202 | return x.minus_v(home,i); |
| 203 | } |
| 204 | default: |
| 205 | GECODE_NEVER; |
| 206 | } |
| 207 | return ME_INT_NONE; |
| 208 | } |
| 209 | |
| 210 | |
| 211 | /* |
no test coverage detected