| 351 | |
| 352 | template<class View, PropCond pc> |
| 353 | BinaryPropagator<View,pc>::BinaryPropagator(Home home, View y0, View y1) |
| 354 | : Propagator(home), x0(y0), x1(y1) { |
| 355 | if (pc != PC_GEN_NONE) { |
| 356 | x0.subscribe(home,*this,pc); |
| 357 | x1.subscribe(home,*this,pc); |
| 358 | } |
| 359 | } |
| 360 | |
| 361 | template<class View, PropCond pc> |
| 362 | forceinline |