cvc4-1.4
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
cdtrail_hashmap_forward.h
Go to the documentation of this file.
1
/********************* */
24
#include "
cvc4_public.h
"
25
26
#pragma once
27
28
namespace
__gnu_cxx
{
29
template
<
class
Key>
struct
hash;
30
}
/* __gnu_cxx namespace */
31
32
namespace
CVC4
{
33
namespace
context {
34
template
<
class
Key,
class
Data,
class
HashFcn = __gnu_cxx::hash<Key> >
35
class
CDTrailHashMap
;
36
}
/* CVC4::context namespace */
37
}
/* CVC4 namespace */
38
CVC4
Definition:
expr.h:106
CVC4::context::CDTrailHashMap
Definition:
cdtrail_hashmap_forward.h:35
__gnu_cxx
Definition:
cdinsert_hashmap_forward.h:28
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
src
context
cdtrail_hashmap_forward.h
Generated by
1.8.9.1