virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (record so that propagator runs last)
Actor must always be disposed.
TraceFilter tf
The trace filter.
static PropCost record(void)
For recording information (no propagation allowed)
TraceRecorder(Space &home, TraceRecorder &p)
Constructor for cloning p.
Propagation has computed fixpoint.
virtual void reschedule(Space &home)
Schedule function.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Propagator * copy(Space &home)
Copy propagator during cloning.
void ignore(Actor &a, ActorProperty p, bool duplicate=false)
Ignore actor property.
virtual size_t dispose(Space &home)
Delete actor and return its size.
Gecode toplevel namespace
virtual size_t dispose(Space &home)
Delete propagator and return its size.
int ModEventDelta
Modification event deltas.