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:

[フレーム]

[legend]

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