Loading...

Searching...

No Matches

Public Member Functions | Public Attributes | List of all members

string_container_statisticst Struct Reference

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:

[フレーム]

[legend]

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