38 namespace Gecode {
namespace Int {
40 template<
class Task,
class PL>
44 t.subscribe(home,*
this,PL::pc);
47 template<
class Task,
class PL>
54 template<
class Task,
class PL>
60 template<
class Task,
class PL>
63 t.reschedule(home,*
this,PL::pc);
66 template<
class Task,
class PL>
69 t.cancel(home,*
this,PL::pc);
70 (void) Propagator::dispose(home);
TaskProp(Home home, TaskArray< Task > &t)
Constructor for creation.
void linear(Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c)
Post propagator for .
Base-class for propagators.
bool shared(const IntSet &, VX)
int p
Number of positive literals for node type.
Gecode toplevel namespace
void reschedule(Space &home, Propagator &p, IntSet &y)
int ModEventDelta
Modification event deltas.
Home class for posting propagators