| 307 | |
| 308 | template<class View, PropCond pc> |
| 309 | forceinline |
| 310 | UnaryPropagator<View,pc>::UnaryPropagator |
| 311 | (Space& home, UnaryPropagator<View,pc>& p) |
| 312 | : Propagator(home,p) { |
| 313 | x0.update(home,p.x0); |
| 314 | } |
| 315 | |
| 316 | template<class View, PropCond pc> |
| 317 | forceinline |