CBMC
Loading...
Searching...
No Matches
Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
string_containert Class Reference

#include <string_container.h>

+ Collaboration diagram for string_containert:

Public Member Functions

unsigned  operator[] (std::string_view s)
 
 
 
 
const std::string &  get_string (size_t no) const
 
 

Protected Types

typedef std::unordered_map< std::string_view, unsigned, string_view_hashthash_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

 
 
 

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:

AltStyle によって変換されたページ (->オリジナル) /