cprover
string_container.h File Reference

Container for C-Strings. More...

#include <list>
#include <unordered_map>
#include <vector>
#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
 
class  string_containert
 

Variables

string_containert string_container
 

Detailed Description

Container for C-Strings.

Definition in file string_container.h.

Variable Documentation

◆ string_container

string_containert string_container