cvc4-1.4
cdhashset_forward.h
Go to the documentation of this file.
1
/********************* */
24
#include "
cvc4_public.h
"
25
26
#ifndef __CVC4__CONTEXT__CDSET_FORWARD_H
27
#define __CVC4__CONTEXT__CDSET_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
V,
class
HashFcn = __gnu_cxx::hash<V> >
38
class
CDHashSet;
39
}
/* CVC4::context namespace */
40
}
/* CVC4 namespace */
41
43
44
#endif
/* __CVC4__CONTEXT__CDSET_FORWARD_H */
CVC4
Definition:
kind.h:57
__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
cdhashset_forward.h
Generated by
1.8.13