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 |
Variables | |
string_containert | string_container |
Container for C-Strings.
Definition in file string_container.h.
string_containert string_container |
Definition at line 16 of file string_container.cpp.
Referenced by dstringt::as_string(), as_string(), and initialize_string_container().