CBMC
|
Internal Representation. More...
Go to the source code of this file.
Macros | |
#define | IREP_ID_ONE(id) #id, |
#define | IREP_ID_TWO(id, str) #str, |
#define | IREP_ID_ONE(the_id) id_##the_id, |
#define | IREP_ID_TWO(the_id, str) id_##the_id, |
#define | IREP_ID_ONE(the_id) |
#define | IREP_ID_TWO(the_id, str) |
Enumerations | |
enum class | idt : unsigned { IREP_ID_ONE , IREP_ID_TWO } |
Variables | |
const char * | irep_ids_table [] |
Internal Representation.
Definition in file irep_ids.cpp.
#define IREP_ID_ONE | ( | id | ) | #id, |
Definition at line 30 of file irep_ids.cpp.
Definition at line 30 of file irep_ids.cpp.
#define IREP_ID_TWO | ( | id, | |
str | |||
) | #str, |
Definition at line 31 of file irep_ids.cpp.
Definition at line 31 of file irep_ids.cpp.
Enumerator | |
---|---|
IREP_ID_ONE | |
IREP_ID_TWO |
Definition at line 28 of file irep_ids.cpp.
Definition at line 18 of file irep_ids.cpp.