| 583 | |
| 584 | template<class View0, PropCond pc0, class View1, PropCond pc1> |
| 585 | MixBinaryPropagator<View0,pc0,View1,pc1>::MixBinaryPropagator |
| 586 | (Home home, View0 y0, View1 y1) |
| 587 | : Propagator(home), x0(y0), x1(y1) { |
| 588 | if (pc0 != PC_GEN_NONE) |
| 589 | x0.subscribe(home,*this,pc0); |
| 590 | if (pc1 != PC_GEN_NONE) |
| 591 | x1.subscribe(home,*this,pc1); |
| 592 | } |
| 593 | |
| 594 | template<class View0, PropCond pc0, class View1, PropCond pc1> |
| 595 | forceinline |