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