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> >
36  }/* CVC4::context namespace */
37 }/* CVC4 namespace */
38 
Definition: modes.h:25
Macros that should be defined everywhere during the building of the libraries and driver binary...