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().