|
CBMC
|
#include <list>#include <unordered_map>#include <vector>#include "memory_units.h"#include "string_hash.h"
Include dependency graph for string_container.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| struct | string_ptrt |
| class | string_ptr_hash |
| struct | string_container_statisticst |
| Has estimated statistics about string container (estimated because this only uses public information, which disregards any internal control structures that might be in use) More... | |
| 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 111 of file string_container.h.