CBMC
Public Attributes | List of all members
abstract_object_statisticst Struct Reference

#include <abstract_object_statistics.h>

+ Collaboration diagram for abstract_object_statisticst:

Public Attributes

std::size_t number_of_interval_abstract_objects = 0
 
std::size_t number_of_single_value_intervals = 0
 
std::size_t number_of_structs = 0
 
std::size_t number_of_arrays = 0
 
std::size_t number_of_pointers = 0
 
std::size_t number_of_constants = 0
 
std::size_t number_of_globals = 0
 
memory_sizet objects_memory_usage
 An underestimation of the memory usage of the abstract objects. More...
 

Detailed Description

Definition at line 18 of file abstract_object_statistics.h.

Member Data Documentation

◆ number_of_arrays

std::size_t abstract_object_statisticst::number_of_arrays = 0

Definition at line 23 of file abstract_object_statistics.h.

◆ number_of_constants

std::size_t abstract_object_statisticst::number_of_constants = 0

Definition at line 25 of file abstract_object_statistics.h.

◆ number_of_globals

std::size_t abstract_object_statisticst::number_of_globals = 0

Definition at line 26 of file abstract_object_statistics.h.

◆ number_of_interval_abstract_objects

std::size_t abstract_object_statisticst::number_of_interval_abstract_objects = 0

Definition at line 20 of file abstract_object_statistics.h.

◆ number_of_pointers

std::size_t abstract_object_statisticst::number_of_pointers = 0

Definition at line 24 of file abstract_object_statistics.h.

◆ number_of_single_value_intervals

std::size_t abstract_object_statisticst::number_of_single_value_intervals = 0

Definition at line 21 of file abstract_object_statistics.h.

◆ number_of_structs

std::size_t abstract_object_statisticst::number_of_structs = 0

Definition at line 22 of file abstract_object_statistics.h.

◆ objects_memory_usage

memory_sizet abstract_object_statisticst::objects_memory_usage

An underestimation of the memory usage of the abstract objects.

Definition at line 28 of file abstract_object_statistics.h.

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