cprover
abstract_object_statistics.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Variable Sensitivity Domain
4
5Author: Hannes Steffenhagen
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_ANALYSES_VARIABLE_SENSITIVITY_ABSTRACT_OBJECT_STATISTICS_H
13#define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_ABSTRACT_OBJECT_STATISTICS_H
14
15#include <cstddef>
16
17#include <util/memory_units.h>
19{
22 std::size_t number_of_structs = 0;
23 std::size_t number_of_arrays = 0;
24 std::size_t number_of_pointers = 0;
25 std::size_t number_of_constants = 0;
26 std::size_t number_of_globals = 0;
29};
30
31#endif // CPROVER_ANALYSES_VARIABLE_SENSITIVITY_ABSTRACT_OBJECT_STATISTICS_H
memory_sizet objects_memory_usage
An underestimation of the memory usage of the abstract objects.