CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
object_numbering.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Object Numbering
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
21
22#ifndef CPROVER_POINTER_ANALYSIS_OBJECT_NUMBERING_H
23#define CPROVER_POINTER_ANALYSIS_OBJECT_NUMBERING_H
24
25#include <util/expr.h>
26#include <util/numbering.h>
27
29
30#endif // CPROVER_POINTER_ANALYSIS_OBJECT_NUMBERING_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
numberingt< exprt, irep_hash > object_numberingt