Generated on Thu Oct 26 14:25:40 2006 for Gecode by doxygen 1.4.7

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

#define GECODE_NEVER   assert(false);

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.