| 92 | _eq = -2; |
| 93 | } |
| 94 | ExecStatus |
| 95 | TellCache::tell(Space& home, IntView x) { |
| 96 | if (_eq == -2) { |
| 97 | return ES_FAILED; |
| 98 | } else if (_eq >= 0) { |
| 99 | GECODE_ME_CHECK(x.eq(home,_eq)); |
| 100 | } |
| 101 | Iter::Values::Array nqi(_nq, _n_nq); |
| 102 | GECODE_ME_CHECK(x.minus_v(home, nqi)); |
| 103 | _n_nq=0; _eq=-1; |
| 104 | return ES_OK; |
| 105 | } |
| 106 | |
| 107 | |
| 108 | /* |