| 154 | |
| 155 | template<class View, class Val> |
| 156 | void |
| 157 | Sequence<View,Val>::reschedule(Space& home) { |
| 158 | for (int i=x.size(); i--; ) |
| 159 | if (!undecided(x[i],s)) |
| 160 | x[i].schedule(home,*this,x[i].assigned() ? ME_INT_VAL : ME_INT_BND); |
| 161 | if (tofail) |
| 162 | View::schedule(home,*this,ME_INT_BND); |
| 163 | } |
| 164 | |
| 165 | template<class View, class Val> |
| 166 | ExecStatus |