CBMC
Loading...
Searching...
No Matches
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>
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.