Classes | |
class | Gecode::PropCost |
Propagation cost. More... | |
class | Gecode::Actor |
Base-class for both propagators and branchers. More... | |
class | Gecode::Propagator |
Base-class for propagators. More... | |
class | Gecode::Council< A > |
Council of advisors More... | |
class | Gecode::Advisors< A > |
Class to iterate over advisors of a council. More... | |
class | Gecode::Advisor |
Base-class for advisors. More... | |
class | Gecode::Choice |
Choice for performing commit More... | |
class | Gecode::Brancher |
Base-class for branchers. More... | |
class | Gecode::ViewArray< View > |
View arrays. More... | |
Macros | |
#define | GECODE_POST |
Check for failure in a constraint post function. | |
#define | GECODE_ME_CHECK(me) |
Check whether modification event me is failed, and forward failure. | |
#define | GECODE_ME_CHECK_MODIFIED(modified, me) |
Check whether me is failed or modified, and forward failure. | |
#define | GECODE_ME_FAIL(me) |
Check whether modification event me is failed, and fail space home. | |
#define | GECODE_ES_CHECK(es) |
Check whether execution status es is failed or subsumed, and forward failure or subsumption. | |
#define | GECODE_ES_FAIL(es) |
Check whether execution status es is failed, and fail space home. | |
#define | GECODE_REWRITE(prop, post) |
Rewrite propagator by executing post function. | |
Typedefs | |
typedef int | Gecode::ModEventDelta |
Modification event deltas. | |
Enumerations | |
enum | Gecode::ActorProperty { Gecode::AP_DISPOSE = (1 << 0) , Gecode::AP_WEAKLY = (1 << 1) , Gecode::AP_VIEW_TRACE = (1 << 2) , Gecode::AP_TRACE = (1 << 3) } |
Actor properties. More... | |
Functions | |
bool | Gecode::me_failed (ModEvent me) |
Check whether modification event me is failed. | |
bool | Gecode::me_modified (ModEvent me) |
Check whether modification event me describes variable modification. | |
update, and dispose variables | |
void | Gecode::Space::notice (Actor &a, ActorProperty p, bool duplicate=false) |
Notice actor property. | |
void | Gecode::Space::ignore (Actor &a, ActorProperty p, bool duplicate=false) |
Ignore actor property. | |
void | Gecode::Space::fail (void) |
Fail space. | |
bool | Gecode::Space::failed (void) const |
Check whether space is failed. | |
bool | Gecode::Space::stable (void) const |
Return if space is stable (at fixpoint or failed) | |
#define GECODE_POST |
Check for failure in a constraint post function.
Also sets group information for posting.
Definition at line 40 of file macros.hpp.
#define GECODE_ME_CHECK | ( | me | ) |
Check whether modification event me is failed, and forward failure.
To be used inside the propagate member function of a propagator or the commit member function of a brancher.
Definition at line 52 of file macros.hpp.
#define GECODE_ME_CHECK_MODIFIED | ( | modified, | |
me ) |
Check whether me is failed or modified, and forward failure.
To be used inside the propagate member function of a propagator or the commit member function of a brancher.
Definition at line 64 of file macros.hpp.
#define GECODE_ME_FAIL | ( | me | ) |
Check whether modification event me is failed, and fail space home.
To be used inside post functions.
Definition at line 77 of file macros.hpp.
#define GECODE_ES_CHECK | ( | es | ) |
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
Definition at line 91 of file macros.hpp.
#define GECODE_ES_FAIL | ( | es | ) |
Check whether execution status es is failed, and fail space home.
Definition at line 103 of file macros.hpp.
#define GECODE_REWRITE | ( | prop, | |
post ) |
Rewrite propagator by executing post function.
Definition at line 116 of file macros.hpp.
typedef int Gecode::ModEventDelta |
Modification event deltas.
Modification event deltas are used by propagators. A propagator stores a modification event for each variable type. They can be accessed through a variable or a view from a given propagator. They can be constructed from a given modevent by a variable or view.
Actor properties.
Enumerator | |
---|---|
AP_DISPOSE | Actor must always be disposed. Normally, a propagator will not be disposed if its home space is deleted. However, if an actor uses external resources, this property can be used to make sure that the actor will always be disposed. |
AP_WEAKLY | Propagator is only weakly monotonic, that is, the propagator is only monotonic on assignments. |
AP_VIEW_TRACE | A propagator is in fact implementing a view trace recorder. |
AP_TRACE | A propagator is in fact implementing a trace recorder. |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Check whether modification event me is failed.
Definition at line 54 of file modevent.hpp.
|
inline |
Check whether modification event me describes variable modification.
Definition at line 59 of file modevent.hpp.