PolyBoRi
|
#include <CCacheManagement.h>
Public Types | |
typedef CCacheManBase< ManagerType, CacheType, 2 > | 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 first, node_type second) const |
Find cached value wrt. given node. More... | |
navigator | find (navigator first, navigator second) const |
Find cached value wrt. given node (for navigator type) More... | |
void | insert (node_type first, node_type second, node_type result) const |
Store cached value wrt. given node. More... | |
void | insert (navigator first, navigator second, navigator result) const |
Store cached value wrt. given node. More... | |
typedef pbori_base<self>::type polybori::CCacheManBase< ManagerType, CacheType, 2 >::base |
Set base type.
typedef base::manager_type polybori::CCacheManBase< ManagerType, CacheType, 2 >::manager_type |
typedef base::navigator polybori::CCacheManBase< ManagerType, CacheType, 2 >::navigator |
typedef base::node_type polybori::CCacheManBase< ManagerType, CacheType, 2 >::node_type |
typedef CCacheManBase<ManagerType, CacheType, 2> polybori::CCacheManBase< ManagerType, CacheType, 2 >::self |
Set this type.
|
inline |
Constructor.
|
inline |
Find cached value wrt. given node.
References cuddCacheLookup2Zdd, 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, cuddCacheInsert2, and PBORI_PREFIX.
|
inline |
Store cached value wrt. given node.