cvc4-1.4
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
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 */
CVC4
Definition:
expr.h:106
__gnu_cxx
Definition:
hash.h:24
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
src
context
cdlist_forward.h
Generated by
1.8.9.1