| 424 | } |
| 425 | template<class View> |
| 426 | forceinline void |
| 427 | ConstView<View>::reschedule(Space& home, Propagator& p, PropCond) { |
| 428 | View::schedule(home,p,ME_GEN_ASSIGNED); |
| 429 | } |
| 430 | template<class View> |
| 431 | forceinline void |
| 432 | ConstView<View>::subscribe(Space&, Advisor&, bool) { |