cprover
object_numbering.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Value Set
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_POINTER_ANALYSIS_OBJECT_NUMBERING_H
13
#define CPROVER_POINTER_ANALYSIS_OBJECT_NUMBERING_H
14
15
#include <
util/expr.h
>
16
#include <
util/numbering.h
>
17
18
typedef
hash_numbering<exprt, irep_hash>
object_numberingt
;
19
20
#endif // CPROVER_POINTER_ANALYSIS_OBJECT_NUMBERING_H
object_numberingt
hash_numbering< exprt, irep_hash > object_numberingt
Definition:
object_numbering.h:18
expr.h
numbering.h
hash_numbering< exprt, irep_hash >
pointer-analysis
object_numbering.h
Generated by
1.8.12