cvc4-1.4
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 */
Definition: options.h:60
Definition: hash.h:24
Macros that should be defined everywhere during the building of the libraries and driver binary...