cvc4-1.4
cdinsert_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
CDInsertHashMap
;
36
}
/* CVC4::context namespace */
37
}
/* CVC4 namespace */
38
CVC4
Definition:
kind.h:57
__gnu_cxx
Definition:
cdinsert_hashmap_forward.h:28
CVC4::context::CDInsertHashMap
Definition:
cdinsert_hashmap_forward.h:35
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
__gnu_cxx::hash
Definition:
cdinsert_hashmap_forward.h:29
src
context
cdinsert_hashmap_forward.h
Generated by
1.8.13