| 300 | |
| 301 | template<class View, PropCond pc> |
| 302 | UnaryPropagator<View,pc>::UnaryPropagator(Home home, View y0) |
| 303 | : Propagator(home), x0(y0) { |
| 304 | if (pc != PC_GEN_NONE) |
| 305 | x0.subscribe(home,*this,pc); |
| 306 | } |
| 307 | |
| 308 | template<class View, PropCond pc> |
| 309 | forceinline |