CBMC
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:

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 52 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 80 of file string_container.cpp.

Member Data Documentation

◆ list_memory_usage

memory_sizet string_container_statisticst::list_memory_usage

Definition at line 58 of file string_container.h.

◆ map_memory_usage

memory_sizet string_container_statisticst::map_memory_usage

Definition at line 57 of file string_container.h.

◆ string_count

std::size_t string_container_statisticst::string_count

Definition at line 54 of file string_container.h.

◆ strings_memory_usage

memory_sizet string_container_statisticst::strings_memory_usage

Definition at line 55 of file string_container.h.

◆ vector_memory_usage

memory_sizet string_container_statisticst::vector_memory_usage

Definition at line 56 of file string_container.h.

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