34 namespace Gecode {
namespace Int {
36 template<
class Task,
class PL>
40 t.subscribe(home,*
this,PL::pc);
43 template<
class Task,
class PL>
50 template<
class Task,
class PL>
56 template<
class Task,
class PL>
59 t.reschedule(home,*
this,PL::pc);
62 template<
class Task,
class PL>
65 t.cancel(home,*
this,PL::pc);
66 (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.
int p
Number of positive literals for node type.
Gecode toplevel namespace
TaskArray< Task > t
Tasks.
void reschedule(Space &home, Propagator &p, IntSet &y)
int ModEventDelta
Modification event deltas.
Home class for posting propagators