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)
Propagation has computed fixpoint.
TraceRecorder(Space &home, bool share, TraceRecorder &p)
Constructor for cloning p.
virtual void reschedule(Space &home)
Schedule function.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
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.
virtual Propagator * copy(Space &home, bool share)
Copy propagator during cloning.