Detailed Description
Note that the enum values starting with a double underscore should not be used directly. Instead, use the provided functions with the same name without leading underscores.
Function Documentation
Propagator p is subsumed
First disposes the propagator and then returns subsumption.
- Warning:
- Has a side-effect on the propagator. Overwrites the modification event delta of a propagator. Use only directly with returning from propagation.
Definition at line 2564 of file core.hpp.
Propagator p is subsumed
The size of the propagator is s.
Note that the propagator must be subsumed and also disposed. So in general, there should be code such as
return ES_SUBSUMED_DISPOSE(home,*this,dispose(home))
.
- Warning:
- Has a side-effect on the propagator. Overwrites the modification event delta of a propagator. Use only directly with returning from propagation.
Definition at line 2558 of file core.hpp.
Propagator p has computed partial fixpoint
Set modification event delta to med and schedule propagator accordingly.
- Warning:
- Has a side-effect on the propagator. Use only directly with returning from propagation.
Definition at line 2570 of file core.hpp.
Propagator p has not computed partial fixpoint
Combine current modification event delta with and schedule propagator accordingly.
- Warning:
- Has a side-effect on the propagator. Use only directly with returning from propagation.
Definition at line 2577 of file core.hpp.
Advisor a must be disposed
Disposes the advisor and returns that the propagator of a need not be run.
- Warning:
- Has a side-effect on the advisor. Use only directly when returning from advise.
Definition at line 2765 of file core.hpp.
Advisor a must be disposed and its propagator must be run
Disposes the advisor and returns that the propagator of a must be run.
- Warning:
- Has a side-effect on the advisor. Use only directly when returning from advise.
Definition at line 2772 of file core.hpp.
Advisor a must be disposed and its propagator must be forcefully rescheduled
Disposes the advisor and returns that the propagator of a must be run and must be forcefully rescheduled (including recomputation of cost).
- Warning:
- Has a side-effect on the advisor. Use only directly when returning from advise.
Definition at line 2779 of file core.hpp.