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>
83 template<
class BVA,
class BVB>
88 (void) Propagator::dispose(home);
96 template<
class BVA,
class BVB,
class BVC>
106 template<
class BVA,
class BVB,
class BVC>
111 x0.update(home,share,p.
x0);
112 x1.update(home,share,p.
x1);
113 x2.update(home,share,p.
x2);
116 template<
class BVA,
class BVB,
class BVC>
119 BVA b0, BVB b1, BVC b2)
121 x0.update(home,share,b0);
122 x1.update(home,share,b1);
123 x2.update(home,share,b2);
126 template<
class BVA,
class BVB,
class BVC>
132 template<
class BVA,
class BVB,
class BVC>
140 template<
class BVA,
class BVB,
class BVC>
147 return sizeof(*this);
BVC x2
Boolean view Constructor for posting.
Base-class for propagators.
BoolBinary(Home home, BVA b0, BVB b1)
int p
Number of positive literals for node type.
BoolTernary(Home home, BVA b0, BVB b1, BVC b2)
virtual void reschedule(Space &home)
Schedule function.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low binary)
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.
void reschedule(Space &home, Propagator &p, IntSet &y)
int ModEventDelta
Modification event deltas.
Home class for posting propagators
static PropCost binary(PropCost::Mod m)
Two variables for modifier pcm.
void unary(Home home, const IntVarArgs &s, const IntArgs &p, IntPropLevel ipl)
Post propagators for scheduling tasks on unary resources.
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)