CBMC
|
Container for C-Strings. More...
#include <list>
#include <unordered_map>
#include <vector>
#include "memory_units.h"
#include "string_hash.h"
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.