|
PolyBoRi
|
#include <CacheManager.h>
Public Types | |
| typedef CCacheManagement< BoolePolyRing, CacheType, CacheType::nargs > | base |
| Define base type. More... | |
| typedef base::manager_type | manager_type |
Public Types inherited from polybori::CCacheManagement< BoolePolyRing, CacheType, CacheType::nargs > | |
| 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... | |
Public Member Functions inherited from polybori::CCacheManagement< BoolePolyRing, CacheType, CacheType::nargs > | |
| 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.
1.8.9.1