| 283 | */ |
| 284 | |
| 285 | forceinline bool |
| 286 | IntVarImp::in(int n) const { |
| 287 | if ((n < dom.min()) || (n > dom.max())) |
| 288 | return false; |
| 289 | return (fst() == nullptr) || in_full(n); |
| 290 | } |
| 291 | forceinline bool |
| 292 | IntVarImp::in(long long int n) const { |
| 293 | if ((n < dom.min()) || (n > dom.max())) |