CBMC
string_container.h File Reference

Container for C-Strings. More...

#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_containertget_string_container ()
 Get a reference to the global string container. More...
 

Detailed Description

Container for C-Strings.

Definition in file string_container.h.

Function Documentation

◆ get_string_container()

string_containert& get_string_container ( )
inline

Get a reference to the global string container.

Definition at line 111 of file string_container.h.