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.
◆ ES_SUBSUMED()
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 3570 of file core.hpp.
◆ ES_SUBSUMED_DISPOSED()
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 3564 of file core.hpp.
◆ ES_FIX_PARTIAL()
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 3576 of file core.hpp.
◆ ES_NOFIX_PARTIAL()
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 3583 of file core.hpp.
◆ ES_FIX_DISPOSE()
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 3887 of file core.hpp.
◆ ES_NOFIX_DISPOSE()
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 3894 of file core.hpp.
◆ ES_NOFIX_DISPOSE_FORCE()
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 3901 of file core.hpp.