Status of constraint propagation and branching commit
Functionality by programming task » Programming actors

## update, and dispose variables

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

## ES_SUBSUMED()

ExecStatus Gecode::Space::ES_SUBSUMED | ( | Propagator & | p | ) |

inline

\Brief 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 3563 of file core.hpp.

## ES_SUBSUMED_DISPOSED()

ExecStatus Gecode::Space::ES_SUBSUMED_DISPOSED | ( | Propagator & | p,
|  | size_t | s )

inline

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 3557 of file core.hpp.

## ES_FIX_PARTIAL()

ExecStatus Gecode::Space::ES_FIX_PARTIAL | ( | Propagator & | p,
|  | const ModEventDelta & | med )

inline

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 3569 of file core.hpp.

## ES_NOFIX_PARTIAL()

ExecStatus Gecode::Space::ES_NOFIX_PARTIAL | ( | Propagator & | p,
|  | const ModEventDelta & | med )

inline

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 3576 of file core.hpp.

## ES_FIX_DISPOSE()

template<class A>

ExecStatus Gecode::Space::ES_FIX_DISPOSE | ( | Council< A > & | c,
|  | A & | a )

inline

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 3880 of file core.hpp.

## ES_NOFIX_DISPOSE()

template<class A>

ExecStatus Gecode::Space::ES_NOFIX_DISPOSE | ( | Council< A > & | c,
|  | A & | a )

inline

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 3887 of file core.hpp.

## ES_NOFIX_DISPOSE_FORCE()

template<class A>

ExecStatus Gecode::Space::ES_NOFIX_DISPOSE_FORCE | ( | Council< A > & | c,
|  | A & | a )

inline

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 3894 of file core.hpp.