polybori::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 polybori::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 polybori::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> polybori::CCacheManagement< CacheType, ArgumentLength >::base

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

template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
typedef CTypes::idx_type polybori::CCacheManagement< CacheType, ArgumentLength >::idx_type

template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
typedef CTypes::manager_base polybori::CCacheManagement< CacheType, ArgumentLength >::manager_type

template<class CacheType, unsigned ArgumentLength = CacheType::nargs>
typedef base::node_type polybori::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>
polybori::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 Fri Apr 3 20:47:42 2009 for PolyBoRi by  doxygen 1.5.8