CCacheManagement< CacheType, ArgumentLength > Class Template 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 CCacheManagement< CacheType, ArgumentLength >:
CCacheManBase< CTypes::manager_base, CacheType, ArgumentLength >

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 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.

Detailed Description

template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
class CCacheManagement< CacheType, ArgumentLength >

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

template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
typedef CCacheManBase<manager_type, cache_type, nargs> CCacheManagement< CacheType, ArgumentLength >::base
template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
typedef CacheType CCacheManagement< CacheType, ArgumentLength >::cache_type
template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
typedef CTypes::idx_type CCacheManagement< CacheType, ArgumentLength >::idx_type
template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
typedef CTypes::manager_base CCacheManagement< CacheType, ArgumentLength >::manager_type
template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
typedef base::node_type CCacheManagement< CacheType, ArgumentLength >::node_type

Member Enumeration Documentation

template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
anonymous enum
Enumerator:
nargs 

Constructor & Destructor Documentation

template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
CCacheManagement< CacheType, ArgumentLength >::CCacheManagement ( const manager_type mgr  )  [inline]

Constructor and default constructor.


The documentation for this class was generated from the following file:
Generated on Wed May 5 19:05:56 2010 for PolyBoRi by  doxygen 1.6.3