Status of constraint propagation and branching commit
[Programming actors]
Functions | |
ExecStatus | Gecode::Space::ES_SUBSUMED (Propagator &p) |
ExecStatus | Gecode::Space::ES_SUBSUMED_DISPOSED (Propagator &p, size_t s) |
Propagator p is subsumed | |
ExecStatus | Gecode::Space::ES_FIX_PARTIAL (Propagator &p, const ModEventDelta &med) |
Propagator p has computed partial fixpoint | |
ExecStatus | Gecode::Space::ES_NOFIX_PARTIAL (Propagator &p, const ModEventDelta &med) |
Propagator p has not computed partial fixpoint | |
template<class A > | |
ExecStatus | Gecode::Space::ES_FIX_DISPOSE (Council< A > &c, A &a) |
Advisor a must be disposed | |
template<class A > | |
ExecStatus | Gecode::Space::ES_NOFIX_DISPOSE (Council< A > &c, A &a) |
Advisor a must be disposed and its propagator must be run | |
template<class A > | |
ExecStatus | Gecode::Space::ES_NOFIX_DISPOSE_FORCE (Council< A > &c, A &a) |
Advisor a must be disposed and its propagator must be forcefully rescheduled |
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
ExecStatus Gecode::Space::ES_SUBSUMED | ( | Propagator & | p | ) | [inline, inherited] |
ExecStatus Gecode::Space::ES_SUBSUMED_DISPOSED | ( | Propagator & | p, | |
size_t | s | |||
) | [inline, inherited] |
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.
ExecStatus Gecode::Space::ES_FIX_PARTIAL | ( | Propagator & | p, | |
const ModEventDelta & | med | |||
) | [inline, inherited] |
ExecStatus Gecode::Space::ES_NOFIX_PARTIAL | ( | Propagator & | p, | |
const ModEventDelta & | med | |||
) | [inline, inherited] |
template<class A >
ExecStatus Gecode::Space::ES_FIX_DISPOSE | ( | Council< A > & | c, | |
A & | a | |||
) | [inline, inherited] |
template<class A >
ExecStatus Gecode::Space::ES_NOFIX_DISPOSE | ( | Council< A > & | c, | |
A & | a | |||
) | [inline, inherited] |
template<class A >
ExecStatus Gecode::Space::ES_NOFIX_DISPOSE_FORCE | ( | Council< A > & | c, | |
A & | a | |||
) | [inline, inherited] |
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.