PolyBoRi
Public Types | Public Member Functions
polybori::CCacheManagement Class Reference

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>

Inheritance diagram for polybori::CCacheManagement:
CCacheManBase< ManagerType, CacheType, ArgumentLength > polybori::CAuxTypes

List of all members.

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

Type for indices.

Reimplemented from polybori::CAuxTypes.

typedef base::node_type polybori::CCacheManagement::node_type

Member Enumeration Documentation

anonymous enum
Enumerator:
nargs 

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: