38 namespace Gecode {
namespace Int {
57 template<
class View, PropCond pc,
class CtrlView>
88 template<
class View, PropCond pc,
class CtrlView>
99 View
x0, View
x1, CtrlView
b);
138 View0
x0, View1
x1, CtrlView
b);
151 template<
class View, PropCond pc,
class CtrlView>
156 x0.subscribe(home,*
this,pc);
160 template<
class View, PropCond pc,
class CtrlView>
165 x0.update(home,share,p.
x0);
166 b.update(home,share,p.
b);
169 template<
class View, PropCond pc,
class CtrlView>
174 x0.update(home,share,y0);
175 b.update(home,share,b0);
178 template<
class View, PropCond pc,
class CtrlView>
184 template<
class View, PropCond pc,
class CtrlView>
188 x0.cancel(home,*
this,pc);
191 return sizeof(*this);
198 template<
class View, PropCond pc,
class CtrlView>
203 x0.subscribe(home,*
this,pc);
204 x1.subscribe(home,*
this,pc);
209 template<
class View, PropCond pc,
class CtrlView>
214 x0.update(home,share,p.
x0);
215 x1.update(home,share,p.
x1);
216 b.update(home,share,p.
b);
219 template<
class View, PropCond pc,
class CtrlView>
224 x0.update(home,share,y0);
225 x1.update(home,share,y1);
226 b.update(home,share,b0);
229 template<
class View, PropCond pc,
class CtrlView>
235 template<
class View, PropCond pc,
class CtrlView>
239 x0.cancel(home,*
this,pc);
240 x1.cancel(home,*
this,pc);
244 return sizeof(*this);
257 x0.subscribe(home,*
this,pc0);
259 x1.subscribe(home,*
this,pc1);
270 x0.update(home,share,p.
x0);
271 x1.update(home,share,p.
x1);
272 b.update(home,share,p.
b);
282 x0.update(home,share,y0);
283 x1.update(home,share,y1);
284 b.update(home,share,b0);
300 x0.cancel(home,*
this,pc0);
302 x1.cancel(home,*
this,pc1);
305 return sizeof(*this);