| 719 | |
| 720 | template<class View0, PropCond pc0, class View1, PropCond pc1> |
| 721 | MixNaryOnePropagator<View0,pc0,View1,pc1>::MixNaryOnePropagator |
| 722 | (Home home, ViewArray<View0>& x0, View1 y0) |
| 723 | : Propagator(home), x(x0), y(y0) { |
| 724 | if (pc0 != PC_GEN_NONE) |
| 725 | x.subscribe(home,*this,pc0); |
| 726 | if (pc1 != PC_GEN_NONE) |
| 727 | y.subscribe(home,*this,pc1); |
| 728 | } |
| 729 | |
| 730 | template<class View0, PropCond pc0, class View1, PropCond pc1> |
| 731 | forceinline |