cprover
|
util More...
Go to the source code of this file.
Macros | |
#define | USE_DSTRING |
#define | IREP_ID_ONE(the_id) extern const dstringt ID_##the_id; |
#define | IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id; |
util
Definition in file irep_ids.h.
#define IREP_ID_ONE | ( | the_id | ) | extern const dstringt ID_##the_id; |
Definition at line 38 of file irep_ids.h.
#define IREP_ID_TWO | ( | the_id, | |
str | |||
) | extern const dstringt ID_##the_id; |
Definition at line 39 of file irep_ids.h.
#define USE_DSTRING |
Definition at line 16 of file irep_ids.h.