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
31namespace __gnu_cxx {
32 template <class Key> struct hash;
33}/* __gnu_cxx namespace */
34
35namespace 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 */
Macros that should be defined everywhere during the building of the libraries and driver binary,...
Definition expr.h:106