cprover
object_numbering.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Object Numbering
4
5
Author: 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
28
typedef
hash_numbering<exprt, irep_hash>
object_numberingt
;
29
30
#endif // CPROVER_POINTER_ANALYSIS_OBJECT_NUMBERING_H
template_numberingt
Definition:
numbering.h:22
expr.h
object_numberingt
hash_numbering< exprt, irep_hash > object_numberingt
Definition:
object_numbering.h:28
numbering.h
pointer-analysis
object_numbering.h
Generated by
1.8.20