string_containert Class Reference

#include <string_container.h>

Collaboration diagram for string_containert:

Public Member Functions
unsigned	operator[] (std::string_view s)
	string_containert ()
	~string_containert ()
const char *	c_str (size_t no) const
const std::string &	get_string (size_t no) const
string_container_statisticst	compute_statistics () const

Protected Types
typedef std::unordered_map< std::string_view, unsigned, string_view_hasht >	hash_tablet
typedef std::list< std::string >	string_listt
typedef std::vector< std::string * >	string_vectort

Protected Member Functions
unsigned	get (std::string_view)

Protected Attributes
hash_tablet	hash_table
string_listt	string_list
string_vectort	string_vector

Detailed Description

Definition at line 48 of file string_container.h.

Member Typedef Documentation

hash_tablet

typedef std::unordered_map<std::string_view, unsigned, string_view_hasht> string_containert::hash_tablet

protected

Definition at line 81 of file string_container.h.

string_listt

typedef std::list<std::string> string_containert::string_listt

protected

Definition at line 86 of file string_container.h.

string_vectort

typedef std::vector<std::string *> string_containert::string_vectort

protected

Definition at line 89 of file string_container.h.

Constructor & Destructor Documentation

string_containert()

string_containert::string_containert

(

)

Definition at line 45 of file irep_ids.cpp.

~string_containert()

string_containert::~string_containert

(

)

Definition at line 18 of file string_container.cpp.

Member Function Documentation

c_str()

const char * string_containert::c_str ( size_t  no ) const

inline

Definition at line 61 of file string_container.h.

compute_statistics()

string_container_statisticst string_containert::compute_statistics

(

)

const

Definition at line 57 of file string_container.cpp.

get()

unsigned string_containert::get ( std::string_view  s )

protected

Definition at line 22 of file string_container.cpp.

get_string()

const std::string & string_containert::get_string ( size_t  no ) const

inline

Definition at line 67 of file string_container.h.

operator[]()

unsigned string_containert::operator[] ( std::string_view  s )

inline

Definition at line 51 of file string_container.h.

Member Data Documentation

hash_table

hash_tablet string_containert::hash_table

protected

Definition at line 82 of file string_container.h.

string_list

string_listt string_containert::string_list

protected

Definition at line 87 of file string_container.h.

string_vector

string_vectort string_containert::string_vector

protected

Definition at line 90 of file string_container.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/util/string_container.h
• /home/runner/work/cbmc/cbmc/src/util/irep_ids.cpp
• /home/runner/work/cbmc/cbmc/src/util/string_container.cpp