38 namespace Gecode {
namespace Int {
namespace Bool {
44 template<
class BVA,
class BVB>
52 template<
class BVA,
class BVB>
57 x0.update(home,share,p.
x0);
58 x1.update(home,share,p.
x1);
61 template<
class BVA,
class BVB>
66 x0.update(home,share,b0);
67 x1.update(home,share,b1);
70 template<
class BVA,
class BVB>
76 template<
class BVA,
class BVB>
89 template<
class BVA,
class BVB,
class BVC>
99 template<
class BVA,
class BVB,
class BVC>
104 x0.update(home,share,p.
x0);
105 x1.update(home,share,p.
x1);
106 x2.update(home,share,p.
x2);
109 template<
class BVA,
class BVB,
class BVC>
112 BVA b0, BVB b1, BVC b2)
114 x0.update(home,share,b0);
115 x1.update(home,share,b1);
116 x2.update(home,share,b2);
119 template<
class BVA,
class BVB,
class BVC>
125 template<
class BVA,
class BVB,
class BVC>
132 return sizeof(*this);
BVC x2
Boolean view Constructor for posting.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low binary)
Base-class for propagators.
BoolBinary(Home home, BVA b0, BVB b1)
static PropCost unary(PropCost::Mod m)
Single variable for modifier pcm.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
int p
Number of positive literals for node type.
BoolTernary(Home home, BVA b0, BVB b1, BVC b2)
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low unary)
virtual size_t dispose(Space &home)
Delete propagator and return its size.
BVB x1
Boolean view Constructor for posting.
virtual size_t dispose(Space &home)
Delete actor and return its size.
Gecode toplevel namespace
Base-class for ternary Boolean propagators.
Base-class for binary Boolean propagators.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
static PropCost binary(PropCost::Mod m)
Two variables for modifier pcm.
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)