cvc4-1.4
cdlist_forward.h
Go to the documentation of this file.
1 /********************* */
30 #include "cvc4_public.h"
31 
32 #ifndef __CVC4__CONTEXT__CDLIST_FORWARD_H
33 #define __CVC4__CONTEXT__CDLIST_FORWARD_H
34 
35 #include <memory>
36 
38 
39 namespace __gnu_cxx {
40  template <class Key> struct hash;
41 }/* __gnu_cxx namespace */
42 
43 namespace CVC4 {
44 namespace context {
45 
46 template <class T>
47 class DefaultCleanUp {
48 public:
49  inline void operator()(T* t) const{}
50 };
51 
52 template <class T, class CleanUp = DefaultCleanUp<T>, class Allocator = std::allocator<T> >
53 class CDList;
54 
56 
57 }/* CVC4::context namespace */
58 }/* CVC4 namespace */
59 
60 #endif /* __CVC4__CONTEXT__CDLIST_FORWARD_H */
Definition: kind.h:57
Definition: hash.h:24
Macros that should be defined everywhere during the building of the libraries and driver binary...