34 namespace 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>
83 (void) Propagator::dispose(home);
91 template<
class BVA,
class BVB,
class BVC>
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);
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)