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);
virtual size_t dispose(Space &home)
Delete actor and return its size.
Home class for posting propagators
TaskArray< Task > t
Tasks.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual void reschedule(Space &home)
Schedule function.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as high linear)
TaskProp(Home home, TaskArray< Task > &t)
Constructor for creation.
static PropCost linear(PropCost::Mod m, unsigned int n)
Linear complexity for modifier pcm and size measure n.
Propagator(Home home)
Constructor for posting.
int ModEventDelta
Modification event deltas.
Gecode toplevel namespace