PolyBoRi
|
#include <CCacheManagement.h>
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... | |
typedef pbori_base<self>::type polybori::CCacheManBase< ManagerType, CacheType, 1 >::base |
Set base type.
typedef base::manager_type polybori::CCacheManBase< ManagerType, CacheType, 1 >::manager_type |
typedef base::navigator polybori::CCacheManBase< ManagerType, CacheType, 1 >::navigator |
typedef base::node_type polybori::CCacheManBase< ManagerType, CacheType, 1 >::node_type |
typedef CCacheManBase<ManagerType, CacheType, 1> polybori::CCacheManBase< ManagerType, CacheType, 1 >::self |
Set this type.
|
inline |
Constructor.
|
inline |
Find cached value wrt. given node.
References cuddCacheLookup1Zdd, and PBORI_PREFIX.
|
inline |
Find cached value wrt. given node (for navigator type)
References polybori::explicit_navigator_cast().
|
inline |
Store cached value wrt. given node.
References Cudd_Deref, Cudd_Ref, cuddCacheInsert1, and PBORI_PREFIX.
|
inline |
Store cached value wrt. given node.