38 namespace Gecode {
namespace Int {
namespace Bool {
44 template<
class BVA,
class BVB>
52 template<
class BVA,
class BVB>
60 template<
class BVA,
class BVB>
69 template<
class BVA,
class BVB>
75 template<
class BVA,
class BVB>
82 template<
class BVA,
class BVB>
87 (void) Propagator::dispose(home);
95 template<
class BVA,
class BVB,
class BVC>
105 template<
class BVA,
class BVB,
class BVC>
110 x0.update(home,p.
x0);
111 x1.update(home,p.
x1);
112 x2.update(home,p.
x2);
115 template<
class BVA,
class BVB,
class BVC>
118 BVA b0, BVB b1, BVC b2)
125 template<
class BVA,
class BVB,
class BVC>
131 template<
class BVA,
class BVB,
class BVC>
139 template<
class BVA,
class BVB,
class BVC>
146 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)