PolyBoRi
|
#include <CacheManager.h>
Public Types | |
typedef CCommutativeCacheManagement< BoolePolyRing, CacheType > | base |
Define base type. More... | |
typedef base::manager_type | manager_type |
![]() | |
typedef CCacheManagement< manager_type, cache_type, 2 > | base |
Name base type. More... | |
typedef base::node_type | node_type |
Define node type. More... | |
typedef base::navigator | navigator |
typedef BoolePolyRing | manager_type |
typedef CacheType | cache_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 | |
CommutativeCacheManager (const manager_type &mgr) | |
Constructor. More... | |
~CommutativeCacheManager () | |
Destructor. More... | |
![]() | |
CCommutativeCacheManagement (const typename base::manager_type &mgr) | |
Constructor and default constructor. More... | |
node_type | find (node_type first, node_type second) const |
Find cached value wrt. given node. More... | |
navigator | find (navigator first, navigator second) const |
Find cached value wrt. given node (for navigator type) More... | |
void | insert (node_type first, node_type second, node_type result) const |
Store cached value wrt. given node. More... | |
void | insert (navigator first, navigator second, navigator result) const |
Store cached value wrt. given node (for navigator type) More... | |
![]() | |
CCacheManagement (const manager_type &mgr) | |
Constructor and default constructor. More... | |
typedef CCommutativeCacheManagement<BoolePolyRing, CacheType> polybori::CommutativeCacheManager< CacheType >::base |
Define base type.
typedef base::manager_type polybori::CommutativeCacheManager< CacheType >::manager_type |
|
inline |
Constructor.
|
inline |
Destructor.