cprover
|
Container for C-Strings. More...
Go to the source code of this file.
Classes | |
struct | string_ptrt |
class | string_ptr_hash |
class | string_containert |
Functions | |
string_containert & | get_string_container () |
Get a reference to the global string container. More... | |
Container for C-Strings.
Definition in file string_container.h.
|
inline |
Get a reference to the global string container.
Definition at line 93 of file string_container.h.