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
39namespace __gnu_cxx {
40 template <class Key> struct hash;
41}/* __gnu_cxx namespace */
42
43namespace CVC4 {
44namespace context {
45
46template <class T>
47class DefaultCleanUp {
48public:
49 inline void operator()(T* t) const{}
50};
51
52template <class T, class CleanUp = DefaultCleanUp<T>, class Allocator = std::allocator<T> >
53class CDList;
54
56
57}/* CVC4::context namespace */
58}/* CVC4 namespace */
59
60#endif /* __CVC4__CONTEXT__CDLIST_FORWARD_H */
Macros that should be defined everywhere during the building of the libraries and driver binary,...
Definition expr.h:106