| 64 | |
| 65 | template<class View, class Offset> |
| 66 | void |
| 67 | Dom<View,Offset>::reschedule(Space& home) { |
| 68 | for (int i=0; i<y.size(); i++) |
| 69 | if (y[i].assigned()) { |
| 70 | View::schedule(home, *this, ME_INT_VAL); |
| 71 | return; |
| 72 | } |
| 73 | View::schedule(home, *this, ME_INT_DOM); |
| 74 | } |
| 75 | |
| 76 | template<class View, class Offset> |
| 77 | ExecStatus |