|
CBMC
|
Internal Representation. More...
Include dependency graph for irep_ids.cpp: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.