PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
polybori
include
CacheManager.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
39
//*****************************************************************************
40
41
// include basic definitions
42
#include "
pbori_defs.h
"
43
44
// get internal cache management classes
45
#include "
CCacheManagement.h
"
46
47
48
#ifndef CacheManager_h_
49
#define CacheManager_h_
50
51
BEGIN_NAMESPACE_PBORI
52
53
class
BooleEnv;
54
template
<
class
CacheType>
55
class
CacheManager
:
56
public
CCacheManagement
<CacheType, CacheType::nargs> {
57
58
public
:
60
typedef
CCacheManagement<CacheType, CacheType::nargs>
base
;
61
typedef
typename
base::manager_type
manager_type
;
62
64
CacheManager
(
const
manager_type
& mgr):
65
base
(mgr) {}
66
68
~CacheManager
() {}
69
};
70
71
template
<
class
CacheType>
72
class
CommutativeCacheManager
:
73
public
CCommutativeCacheManagement
<CacheType> {
74
75
public
:
77
typedef
CCommutativeCacheManagement<CacheType>
base
;
78
typedef
typename
base::manager_type
manager_type
;
79
81
CommutativeCacheManager
(
const
manager_type
& mgr):
82
base
(mgr) {}
83
85
~CommutativeCacheManager
() {}
86
};
87
88
89
END_NAMESPACE_PBORI
90
91
#endif
Generated on Wed Mar 26 2014 17:27:06 for PolyBoRi by
1.8.1.2