38 namespace Gecode {
namespace Int {
40 template<
class Task, PropCond pc>
44 t.subscribe(home,*
this,pc);
47 template<
class Task, PropCond pc>
51 t.update(home,shared,p.
t);
54 template<
class Task, PropCond pc>
60 template<
class Task, PropCond pc>
63 t.cancel(home,*
this,pc);
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as high linear)
static PropCost linear(PropCost::Mod m, unsigned int n)
Linear complexity for modifier pcm and size measure n.
Base-class for propagators.
int p
Number of positive literals for node type.
TaskArray< Task > t
Tasks.
virtual size_t dispose(Space &home)
Delete actor and return its size.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
TaskProp(Home home, TaskArray< Task > &t)
Constructor for creation.