| 110 | |
| 111 | template<class VA, class VB, class VC, PropCond pc_ac> |
| 112 | View<VA,VB,VC,pc_ac>::View(Home home, IdxViewArray<VA>& iv0, |
| 113 | VB y0, VC y1) |
| 114 | : Propagator(home), iv(iv0), x0(y0), x1(y1) { |
| 115 | x0.subscribe(home,*this,PC_INT_DOM); |
| 116 | x1.subscribe(home,*this,pc_ac); |
| 117 | iv.subscribe(home,*this,pc_ac); |
| 118 | } |
| 119 | |
| 120 | template<class VA, class VB, class VC, PropCond pc_ac> |
| 121 | forceinline |