PolyBoRi
|
#include <CacheManager.h>
Public Types | |
typedef CCacheManagement< BoolePolyRing, CacheType, CacheType::nargs > | base |
Define base type. More... | |
typedef base::manager_type | manager_type |
![]() | |
typedef CCacheManBase< manager_type, cache_type, nargs > | base |
Name base type. More... | |
typedef base::node_type | node_type |
Extracting inherited node type. More... | |
enum | |
typedef BoolePolyRing | manager_type |
typedef manager_type::deg_type | deg_type |
typedef manager_type::size_type | size_type |
typedef manager_type::idx_type | idx_type |
typedef CacheType | cache_type |
Public Member Functions | |
CacheManager (const manager_type &mgr) | |
Constructor. More... | |
~CacheManager () | |
Destructor. More... | |
![]() | |
CCacheManagement (const manager_type &mgr) | |
Constructor and default constructor. More... | |
typedef CCacheManagement<BoolePolyRing, CacheType, CacheType::nargs> polybori::CacheManager< CacheType >::base |
Define base type.
typedef base::manager_type polybori::CacheManager< CacheType >::manager_type |
|
inline |
Constructor.
|
inline |
Destructor.