PolyBoRi
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 
28 
29 class BooleEnv;
30 template <class CacheType>
32  public CCacheManagement<BoolePolyRing, CacheType, CacheType::nargs> {
33 
34 public:
37  typedef typename base::manager_type manager_type;
38 
40  CacheManager(const manager_type& mgr):
41  base(mgr) {}
42 
45 };
46 
47 template <class CacheType>
49  public CCommutativeCacheManagement<BoolePolyRing, CacheType> {
50 
51 public:
54  typedef typename base::manager_type manager_type;
55 
57  CommutativeCacheManager(const manager_type& mgr):
58  base(mgr) {}
59 
62 };
63 
64 
66 
67 #endif
CCommutativeCacheManagement< BoolePolyRing, CacheType > base
Define base type.
Definition: CacheManager.h:53
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
This template class forms the base for CCommutativeCacheManagement and CacheManager. It is an interface defining find and insert on decision diagram cache.
Definition: CCacheManagement.h:455
Definition: CacheManager.h:31
This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and v...
Definition: BoolePolyRing.h:40
~CommutativeCacheManager()
Destructor.
Definition: CacheManager.h:61
Definition: CacheManager.h:48
CommutativeCacheManager(const manager_type &mgr)
Constructor.
Definition: CacheManager.h:57
CCacheManagement< BoolePolyRing, CacheType, CacheType::nargs > base
Define base type.
Definition: CacheManager.h:36
base::manager_type manager_type
Definition: CacheManager.h:37
CacheManager(const manager_type &mgr)
Constructor.
Definition: CacheManager.h:40
Definition: CCacheManagement.h:488
base::manager_type manager_type
Definition: CacheManager.h:54
~CacheManager()
Destructor.
Definition: CacheManager.h:44