| 644 | template<class View0, PropCond pc0, class View1, PropCond pc1, |
| 645 | class View2, PropCond pc2> |
| 646 | MixTernaryPropagator<View0,pc0,View1,pc1,View2,pc2>:: |
| 647 | MixTernaryPropagator(Home home, View0 y0, View1 y1, View2 y2) |
| 648 | : Propagator(home), x0(y0), x1(y1), x2(y2) { |
| 649 | if (pc0 != PC_GEN_NONE) |
| 650 | x0.subscribe(home,*this,pc0); |
| 651 | if (pc1 != PC_GEN_NONE) |
| 652 | x1.subscribe(home,*this,pc1); |
| 653 | if (pc2 != PC_GEN_NONE) |
| 654 | x2.subscribe(home,*this,pc2); |
| 655 | } |
| 656 | |
| 657 | template<class View0, PropCond pc0, class View1, PropCond pc1, |
| 658 | class View2, PropCond pc2> |