| 524 | |
| 525 | template<class View, PropCond pc> |
| 526 | NaryOnePropagator<View,pc>::NaryOnePropagator |
| 527 | (Home home, ViewArray<View>& x0, View y0) |
| 528 | : Propagator(home), x(x0), y(y0) { |
| 529 | if (pc != PC_GEN_NONE) { |
| 530 | x.subscribe(home,*this,pc); |
| 531 | y.subscribe(home,*this,pc); |
| 532 | } |
| 533 | } |
| 534 | |
| 535 | template<class View, PropCond pc> |
| 536 | forceinline |