macros.icc File Reference
(Revision: 5882)
Go to the source code of this file.
Defines | |
#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(home, 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(home, es) |
Check whether execution status es is failed, and fail space home. | |
#define | GECODE_REWRITE(prop, post) |
Rewrite propagator by executing post function. |