| 409 | |
| 410 | template<class View, PropCond pc> |
| 411 | TernaryPropagator<View,pc>::TernaryPropagator |
| 412 | (Home home, View y0, View y1, View y2) |
| 413 | : Propagator(home), x0(y0), x1(y1), x2(y2) { |
| 414 | if (pc != PC_GEN_NONE) { |
| 415 | x0.subscribe(home,*this,pc); |
| 416 | x1.subscribe(home,*this,pc); |
| 417 | x2.subscribe(home,*this,pc); |
| 418 | } |
| 419 | } |
| 420 | |
| 421 | template<class View, PropCond pc> |
| 422 | forceinline |