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...

#include <string_container.h>

Collaboration diagram for string_container_statisticst:

Public Member Functions
void	dump_on_stream (std::ostream &out) const

Public Attributes
std::size_t	string_count

memory_sizet	strings_memory_usage

memory_sizet	vector_memory_usage

memory_sizet	map_memory_usage

memory_sizet	list_memory_usage

Detailed Description

Has estimated statistics about string container (estimated because this only uses public information, which disregards any internal control structures that might be in use)

Definition at line 37 of file string_container.h.

Member Function Documentation

◆ dump_on_stream()

void string_container_statisticst::dump_on_stream ( std::ostream & out ) const

Definition at line 44 of file string_container.cpp.

Member Data Documentation

◆ list_memory_usage

memory_sizet string_container_statisticst::list_memory_usage

Definition at line 43 of file string_container.h.

◆ map_memory_usage

memory_sizet string_container_statisticst::map_memory_usage

Definition at line 42 of file string_container.h.

◆ string_count

std::size_t string_container_statisticst::string_count

Definition at line 39 of file string_container.h.

◆ strings_memory_usage

memory_sizet string_container_statisticst::strings_memory_usage

Definition at line 40 of file string_container.h.

◆ vector_memory_usage

memory_sizet string_container_statisticst::vector_memory_usage

Definition at line 41 of file string_container.h.

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

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

Public Member Functions

Public Attributes