cvc4-1.4
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
cdhashmap_forward.h
Go to the documentation of this file.
1
/********************* */
24
#include "
cvc4_public.h
"
25
26
#ifndef __CVC4__CONTEXT__CDHASHMAP_FORWARD_H
27
#define __CVC4__CONTEXT__CDHASHMAP_FORWARD_H
28
30
31
namespace
__gnu_cxx
{
32
template
<
class
Key>
struct
hash;
33
}
/* __gnu_cxx namespace */
34
35
namespace
CVC4
{
36
namespace
context {
37
template
<
class
Key,
class
Data,
class
HashFcn = __gnu_cxx::hash<Key> >
38
class
CDHashMap;
39
}
/* CVC4::context namespace */
40
}
/* CVC4 namespace */
41
43
44
#endif
/* __CVC4__CONTEXT__CDHASHMAP_FORWARD_H */
CVC4
Definition:
expr_manager.h:100
__gnu_cxx
Definition:
hash.h:24
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
src
context
cdhashmap_forward.h
Generated by
1.8.11