PolyBoRi
Public Types | Public Member Functions | List of all members
polybori::CCacheManBase< ManagerType, CacheType, 1 > Class Template Reference

#include <CCacheManagement.h>

Inheritance diagram for polybori::CCacheManBase< ManagerType, CacheType, 1 >:

Public Types

typedef CCacheManBase
< ManagerType, CacheType, 1 > 
self
 Set this type. More...
 
typedef pbori_base< self >::type base
 Set base type. More...
 
Extracting inherited types
typedef base::node_type node_type
 
typedef base::navigator navigator
 
typedef base::manager_type manager_type
 

Public Member Functions

 CCacheManBase (const manager_type &mgr)
 Constructor. More...
 
node_type find (node_type node) const
 Find cached value wrt. given node. More...
 
navigator find (navigator node) const
 Find cached value wrt. given node (for navigator type) More...
 
void insert (node_type node, node_type result) const
 Store cached value wrt. given node. More...
 
void insert (navigator node, navigator result) const
 Store cached value wrt. given node. More...
 

Member Typedef Documentation

template<class ManagerType , class CacheType >
typedef pbori_base<self>::type polybori::CCacheManBase< ManagerType, CacheType, 1 >::base

Set base type.

template<class ManagerType , class CacheType >
typedef base::manager_type polybori::CCacheManBase< ManagerType, CacheType, 1 >::manager_type
template<class ManagerType , class CacheType >
typedef base::navigator polybori::CCacheManBase< ManagerType, CacheType, 1 >::navigator
template<class ManagerType , class CacheType >
typedef base::node_type polybori::CCacheManBase< ManagerType, CacheType, 1 >::node_type
template<class ManagerType , class CacheType >
typedef CCacheManBase<ManagerType, CacheType, 1> polybori::CCacheManBase< ManagerType, CacheType, 1 >::self

Set this type.

Constructor & Destructor Documentation

template<class ManagerType , class CacheType >
polybori::CCacheManBase< ManagerType, CacheType, 1 >::CCacheManBase ( const manager_type mgr)
inline

Constructor.

Member Function Documentation

template<class ManagerType , class CacheType >
node_type polybori::CCacheManBase< ManagerType, CacheType, 1 >::find ( node_type  node) const
inline

Find cached value wrt. given node.

References cuddCacheLookup1Zdd, and PBORI_PREFIX.

template<class ManagerType , class CacheType >
navigator polybori::CCacheManBase< ManagerType, CacheType, 1 >::find ( navigator  node) const
inline

Find cached value wrt. given node (for navigator type)

References polybori::explicit_navigator_cast().

template<class ManagerType , class CacheType >
void polybori::CCacheManBase< ManagerType, CacheType, 1 >::insert ( node_type  node,
node_type  result 
) const
inline

Store cached value wrt. given node.

References Cudd_Deref, Cudd_Ref, cuddCacheInsert1, and PBORI_PREFIX.

template<class ManagerType , class CacheType >
void polybori::CCacheManBase< ManagerType, CacheType, 1 >::insert ( navigator  node,
navigator  result 
) const
inline

Store cached value wrt. given node.


The documentation for this class was generated from the following file: