42 namespace Gecode {
namespace Int {
namespace Bool {
44 template<
class View, PropCond pc>
49 x0.subscribe(home,*
this,pc);
50 x1.subscribe(home,*
this,pc);
51 x2.subscribe(home,*
this,pc);
54 template<
class View, PropCond pc>
59 x0.update(home,share,p.
x0);
60 x1.update(home,share,p.
x1);
61 x2.update(home,share,p.
x2);
64 template<
class View, PropCond pc>
70 template<
class View, PropCond pc>
74 x0.cancel(home,*
this,pc);
75 x1.cancel(home,*
this,pc);
76 x2.cancel(home,*
this,pc);