16 #ifndef polybori_cache_CacheManager_h_
17 #define polybori_cache_CacheManager_h_
30 template <
class CacheType>
47 template <
class CacheType>
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