cprover
|
Container for C-Strings. More...
Go to the source code of this file.
Functions | |
void | initialize_string_container () |
Variables | |
string_containert | string_container |
Container for C-Strings.
Definition in file string_container.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().
string_containert string_container |
Definition at line 16 of file string_container.cpp.
Referenced by dstringt::as_string(), as_string(), and initialize_string_container().