CacheManager.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_cache_CacheManager_h_
#define polybori_cache_CacheManager_h_
// include basic definitions
#include <polybori/pbori_defs.h>
// get internal cache management classes
#include "CCacheManagement.h"
#include <polybori/BoolePolyRing.h>
BEGIN_NAMESPACE_PBORI
class BooleEnv;
template <class CacheType>
class CacheManager:
public CCacheManagement<BoolePolyRing, CacheType, CacheType::nargs> {
public:
typedef CCacheManagement<BoolePolyRing, CacheType, CacheType::nargs> base;
typedef typename base::manager_type manager_type;
CacheManager(const manager_type& mgr):
base(mgr) {}
~CacheManager() {}
};
template <class CacheType>
class CommutativeCacheManager:
public CCommutativeCacheManagement<BoolePolyRing, CacheType> {
public:
typedef CCommutativeCacheManagement<BoolePolyRing, CacheType> base;
typedef typename base::manager_type manager_type;
CommutativeCacheManager(const manager_type& mgr):
base(mgr) {}
~CommutativeCacheManager() {}
};
END_NAMESPACE_PBORI
#endif
polybori::CommutativeCacheManager::base
CCommutativeCacheManagement< BoolePolyRing, CacheType > base
Define base type.
Definition: CacheManager.h:53
END_NAMESPACE_PBORI
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
BEGIN_NAMESPACE_PBORI
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
polybori::CCacheManagement
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
polybori::CacheManager
Definition: CacheManager.h:31
polybori::BoolePolyRing
This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and v...
Definition: BoolePolyRing.h:40
polybori::CommutativeCacheManager::~CommutativeCacheManager
~CommutativeCacheManager()
Destructor.
Definition: CacheManager.h:61
polybori::CommutativeCacheManager
Definition: CacheManager.h:48
polybori::CommutativeCacheManager::CommutativeCacheManager
CommutativeCacheManager(const manager_type &mgr)
Constructor.
Definition: CacheManager.h:57
pbori_defs.h
polybori::CacheManager::base
CCacheManagement< BoolePolyRing, CacheType, CacheType::nargs > base
Define base type.
Definition: CacheManager.h:36
polybori::CacheManager::manager_type
base::manager_type manager_type
Definition: CacheManager.h:37
polybori::CacheManager::CacheManager
CacheManager(const manager_type &mgr)
Constructor.
Definition: CacheManager.h:40
BoolePolyRing.h
CCacheManagement.h
polybori::CCommutativeCacheManagement
Definition: CCacheManagement.h:488
polybori::CommutativeCacheManager::manager_type
base::manager_type manager_type
Definition: CacheManager.h:54
polybori::CacheManager::~CacheManager
~CacheManager()
Destructor.
Definition: CacheManager.h:44