PolyBoRi
|
#include <CacheManager.h>
Public Types | |
typedef CCacheManagement < BoolePolyRing, CacheType, CacheType::nargs > | base |
Define base type. | |
typedef base::manager_type | manager_type |
Public Member Functions | |
CacheManager (const manager_type &mgr) | |
Constructor. | |
~CacheManager () | |
Destructor. |
typedef CCacheManagement<BoolePolyRing, CacheType, CacheType::nargs> polybori::CacheManager::base |
Define base type.
Reimplemented from polybori::CCacheManagement< BoolePolyRing, CacheType, CacheType::nargs >.
Reimplemented from polybori::CCacheManagement< BoolePolyRing, CacheType, CacheType::nargs >.
polybori::CacheManager::CacheManager | ( | const manager_type & | mgr | ) | [inline] |
Constructor.
polybori::CacheManager::~CacheManager | ( | ) | [inline] |
Destructor.