|
cprover
|
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) |
| #define | IREP_ID_TWO(the_id, str) |
Functions | |
| void | initialize_string_container () |
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.
| #define IREP_ID_ONE | ( | the_id | ) |
Definition at line 30 of file irep_ids.cpp.
| #define IREP_ID_TWO | ( | id, | |
| str | |||
| ) | #str, |
Definition at line 33 of file irep_ids.cpp.
| #define IREP_ID_TWO | ( | the_id, | |
| str | |||
| ) |
Definition at line 33 of file irep_ids.cpp.
| void initialize_string_container | ( | ) |
Definition at line 46 of file irep_ids.cpp.
References irep_ids_table, and string_container.
Referenced by string_containert::string_containert().
| const char* irep_ids_table[] |
Definition at line 18 of file irep_ids.cpp.
Referenced by initialize_string_container().