
Go to the source code of this file.
Macros | |
| #define | GECODE_CAT2(R, LINE) |
| Concatenate R and LINE. | |
| #define | GECODE_CAT(R, LINE) |
| Concatenate macro-expanded R and LINE. | |
| #define | GECODE_FRESH(P) |
| Generate fresh name with prefix P. | |
| #define | GECODE_NEVER __builtin_unreachable(); |
| Assert that this command is never executed. | |
| #define | GECODE_NOT_NULL(p) |
| Assert that a pointer is never NULL. | |
| #define | GECODE_VALID_FUNCTION(f) |
| Assert that a function is valid. | |
| #define | GECODE_ASSUME(p) |
| Assert certain property. | |
| #define GECODE_CAT2 | ( | R, | |
| LINE ) |
| #define GECODE_CAT | ( | R, | |
| LINE ) |
Concatenate macro-expanded R and LINE.
Definition at line 37 of file macros.hpp.
| #define GECODE_FRESH | ( | P | ) |
Generate fresh name with prefix P.
Definition at line 39 of file macros.hpp.
| #define GECODE_NEVER __builtin_unreachable(); |
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 56 of file macros.hpp.
| #define GECODE_NOT_NULL | ( | p | ) |
Assert that a pointer is never NULL.
This is preferred over assert as it is used for optimization, if supported by a compiler (for example, Microsoft Visual C++).
Definition at line 75 of file macros.hpp.
| #define GECODE_VALID_FUNCTION | ( | f | ) |
Assert that a function is valid.
This is preferred over assert as it is used for optimization, if supported by a compiler (for example, Microsoft Visual C++).
Definition at line 94 of file macros.hpp.
| #define GECODE_ASSUME | ( | p | ) |
Assert certain property.
This might be used for optimization as well (for example, Microsoft Visual C++), otherwise it behaves like any assert.
Definition at line 114 of file macros.hpp.