PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
libpolybori
include
polybori
cache
CacheManager.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
14
//*****************************************************************************
15
16
#ifndef polybori_cache_CacheManager_h_
17
#define polybori_cache_CacheManager_h_
18
19
// include basic definitions
20
#include <
polybori/pbori_defs.h
>
21
22
// get internal cache management classes
23
#include "
CCacheManagement.h
"
24
25
#include <
polybori/BoolePolyRing.h
>
26
27
BEGIN_NAMESPACE_PBORI
28
29
class
BooleEnv;
30
template
<
class
CacheType>
31
class
CacheManager
:
32
public
CCacheManagement
<BoolePolyRing, CacheType, CacheType::nargs> {
33
34
public
:
36
typedef
CCacheManagement<BoolePolyRing, CacheType, CacheType::nargs>
base
;
37
typedef
typename
base::manager_type
manager_type
;
38
40
CacheManager
(
const
manager_type
& mgr):
41
base
(mgr) {}
42
44
~CacheManager
() {}
45
};
46
47
template
<
class
CacheType>
48
class
CommutativeCacheManager
:
49
public
CCommutativeCacheManagement
<BoolePolyRing, CacheType> {
50
51
public
:
53
typedef
CCommutativeCacheManagement<BoolePolyRing, CacheType>
base
;
54
typedef
typename
base::manager_type
manager_type
;
55
57
CommutativeCacheManager
(
const
manager_type
& mgr):
58
base
(mgr) {}
59
61
~CommutativeCacheManager
() {}
62
};
63
64
65
END_NAMESPACE_PBORI
66
67
#endif
Generated by
1.8.3.1