| 119 | |
| 120 | template<class VA, class VB, class VC, PropCond pc_ac> |
| 121 | forceinline |
| 122 | View<VA,VB,VC,pc_ac>::View(Space& home, View& p) |
| 123 | : Propagator(home,p) { |
| 124 | x0.update(home,p.x0); |
| 125 | x1.update(home,p.x1); |
| 126 | iv.update(home,p.iv); |
| 127 | } |
| 128 | |
| 129 | template<class VA, class VB, class VC, PropCond pc_ac> |
| 130 | PropCost |