This template class forms the base for CCommutativeCacheManagement and CacheManager. It is an interface defining find and insert on decision diagram cache. More...
#include <CCacheManagement.h>
Public Types | |
| typedef CCacheManBase < manager_type, cache_type, nargs > | base |
| Name base type. | |
| typedef base::node_type | node_type |
| Extracting inherited node type. | |
Get template parameters and global types | |
| enum | { nargs = ArgumentLength } |
| typedef ManagerType | manager_type |
| typedef CTypes::idx_type | idx_type |
| Type for indices. | |
| typedef CacheType | cache_type |
Public Member Functions | |
| CCacheManagement (const manager_type &mgr) | |
| Constructor and default constructor. | |
Detailed Description
This template class forms the base for CCommutativeCacheManagement and CacheManager. It is an interface defining find and insert on decision diagram cache.
It it mainly a wrapper for the template specialization of CCacheManBase, which allows a simple call of CCacheManagement<CacheType>, if CacheType is inherited from unary_cache_tag, binary_cache_tag, and ternary_cache_tag. It also fixes the ManagerType to CTypes::manager_base.
Member Typedef Documentation
| typedef CCacheManBase<manager_type, cache_type, nargs> polybori::CCacheManagement::base |
Name base type.
Reimplemented in polybori::CCommutativeCacheManagement, polybori::CDegreeArgumentCache, polybori::CBlockDegreeCache, polybori::CBoundedDegreeCache, polybori::CDegreeCache, and polybori::CacheManager.
| typedef CacheType polybori::CCacheManagement::cache_type |
Reimplemented in polybori::CCommutativeCacheManagement.
Type for indices.
Reimplemented from polybori::CAuxTypes.
| typedef ManagerType polybori::CCacheManagement::manager_type |
| typedef base::node_type polybori::CCacheManagement::node_type |
Extracting inherited node type.
Reimplemented in polybori::CCommutativeCacheManagement, polybori::CDegreeArgumentCache, polybori::CBlockDegreeCache, polybori::CBoundedDegreeCache, and polybori::CDegreeCache.
Member Enumeration Documentation
Constructor & Destructor Documentation
| polybori::CCacheManagement::CCacheManagement | ( | const manager_type & | mgr | ) | [inline] |
Constructor and default constructor.
The documentation for this class was generated from the following file:
