34namespace Gecode {
namespace Int {
namespace Bool {
40 template<
class BVA,
class BVB>
48 template<
class BVA,
class BVB>
56 template<
class BVA,
class BVB>
65 template<
class BVA,
class BVB>
71 template<
class BVA,
class BVB>
78 template<
class BVA,
class BVB>
91 template<
class BVA,
class BVB,
class BVC>
94 (
Home home, BVA b0, BVB b1, BVC b2)
101 template<
class BVA,
class BVB,
class BVC>
106 x0.update(home,
p.x0);
107 x1.update(home,
p.x1);
108 x2.update(home,
p.x2);
111 template<
class BVA,
class BVB,
class BVC>
114 BVA b0, BVB b1, BVC b2)
121 template<
class BVA,
class BVB,
class BVC>
127 template<
class BVA,
class BVB,
class BVC>
135 template<
class BVA,
class BVB,
class BVC>
142 return sizeof(*this);
int p
Number of positive literals for node type.
virtual size_t dispose(Space &home)
Delete actor and return its size.
Home class for posting propagators
Base-class for binary Boolean propagators.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual void reschedule(Space &home)
Schedule function.
BVB x1
Boolean view Constructor for posting.
BoolBinary(Home home, BVA b0, BVB b1)
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low unary)
Base-class for ternary Boolean propagators.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low binary)
BoolTernary(Home home, BVA b0, BVB b1, BVC b2)
BVC x2
Boolean view Constructor for posting.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual void reschedule(Space &home)
Schedule function.
static PropCost unary(PropCost::Mod m)
Single variable for modifier pcm.
static PropCost binary(PropCost::Mod m)
Two variables for modifier pcm.
Base-class for propagators.
int ModEventDelta
Modification event deltas.
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
Gecode toplevel namespace