PolyBoRi
|
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 CTypes::manager_base | manager_type |
typedef CTypes::idx_type | idx_type |
typedef CacheType | cache_type |
Public Member Functions | |
CCacheManagement (const manager_type &mgr) | |
Constructor and default constructor. |
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.
typedef CCacheManBase<manager_type, cache_type, nargs> polybori::CCacheManagement< CacheType, ArgumentLength >::base |
Name base type.
Reimplemented in polybori::CacheManager< CacheType >, polybori::CommutativeCacheManager< CacheType >, polybori::CCommutativeCacheManagement< CacheType >, polybori::CDegreeCache< TagType, DDType >, polybori::CBlockDegreeCache< TagType, DDType >, polybori::CDegreeArgumentCache< TagType, DDType >, and polybori::CBlockDegreeCache< CCacheTypes::block_degree, CTypes::dd_type >.
typedef CacheType polybori::CCacheManagement< CacheType, ArgumentLength >::cache_type |
Reimplemented in polybori::CCommutativeCacheManagement< CacheType >.
typedef CTypes::idx_type polybori::CCacheManagement< CacheType, ArgumentLength >::idx_type |
typedef CTypes::manager_base polybori::CCacheManagement< CacheType, ArgumentLength >::manager_type |
Reimplemented in polybori::CacheManager< CacheType >, polybori::CommutativeCacheManager< CacheType >, polybori::CDegreeCache< TagType, DDType >, polybori::CBlockDegreeCache< TagType, DDType >, polybori::CDegreeArgumentCache< TagType, DDType >, and polybori::CBlockDegreeCache< CCacheTypes::block_degree, CTypes::dd_type >.
typedef base::node_type polybori::CCacheManagement< CacheType, ArgumentLength >::node_type |
Extracting inherited node type.
Reimplemented in polybori::CCommutativeCacheManagement< CacheType >, polybori::CDegreeCache< TagType, DDType >, polybori::CBlockDegreeCache< TagType, DDType >, polybori::CDegreeArgumentCache< TagType, DDType >, and polybori::CBlockDegreeCache< CCacheTypes::block_degree, CTypes::dd_type >.
anonymous enum |
polybori::CCacheManagement< CacheType, ArgumentLength >::CCacheManagement | ( | const manager_type & | mgr | ) | [inline] |
Constructor and default constructor.