macros.icc File Reference
(Revision: 3658)
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, and forward failure. | |
| #define | GECODE_ES_FAIL(home, es) |
| Check whether execution status es is failed, and fail space home. | |
| #define | GECODE_NEVER assert(false); |
| Assert that this command is never executed. | |
Define Documentation
|
|
Assert that this command is never executed. This is preferred over assert(false) as it is used for optimization, if supported by a compiler (for example, Microsoft Visual C++). Definition at line 94 of file macros.icc. |