38 namespace Gecode {
namespace Int {
40 template<
class Task, PropCond pc>
44 t.subscribe(home,*
this,pc);
47 template<
class Task, PropCond pc>
54 template<
class Task, PropCond pc>
60 template<
class Task, PropCond pc>
63 t.cancel(home,*
this,pc);
64 (void) Propagator::dispose(home);
void linear(Home home, const FloatVarArgs &x, FloatRelType frt, FloatNum 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
int ModEventDelta
Modification event deltas.
Home class for posting propagators
TaskProp(Home home, TaskArray< Task > &t)
Constructor for creation.