PolyBoRi
|
#include <CCacheManagement.h>
Public Types | |
typedef CCacheManBase < ManagerType, CacheType, 3 > | self |
Set this type. | |
typedef pbori_base< self >::type | base |
Set base type. | |
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. | |
node_type | find (node_type first, node_type second, node_type third) const |
Find cached value wrt. given node. | |
navigator | find (navigator first, navigator second, navigator third) const |
Find cached value wrt. given node (for navigator type) | |
void | insert (node_type first, node_type second, node_type third, node_type result) const |
Store cached value wrt. given node. | |
void | insert (navigator first, navigator second, navigator third, navigator result) const |
Store cached value wrt. given node. |
typedef pbori_base<self>::type polybori::CCacheManBase< ManagerType, CacheType, 3 >::base |
Set base type.
typedef base::manager_type polybori::CCacheManBase< ManagerType, CacheType, 3 >::manager_type |
typedef base::navigator polybori::CCacheManBase< ManagerType, CacheType, 3 >::navigator |
typedef base::node_type polybori::CCacheManBase< ManagerType, CacheType, 3 >::node_type |
typedef CCacheManBase<ManagerType, CacheType, 3> polybori::CCacheManBase< ManagerType, CacheType, 3 >::self |
Set this type.
polybori::CCacheManBase< ManagerType, CacheType, 3 >::CCacheManBase | ( | const manager_type & | mgr | ) | [inline] |
Constructor.
node_type polybori::CCacheManBase< ManagerType, CacheType, 3 >::find | ( | node_type | first, |
node_type | second, | ||
node_type | third | ||
) | const [inline] |
Find cached value wrt. given node.
References cuddCacheLookupZdd, and PBORI_PREFIX.
navigator polybori::CCacheManBase< ManagerType, CacheType, 3 >::find | ( | navigator | first, |
navigator | second, | ||
navigator | third | ||
) | const [inline] |
Find cached value wrt. given node (for navigator type)
References polybori::explicit_navigator_cast().
void polybori::CCacheManBase< ManagerType, CacheType, 3 >::insert | ( | node_type | first, |
node_type | second, | ||
node_type | third, | ||
node_type | result | ||
) | const [inline] |
Store cached value wrt. given node.
References Cudd_Deref, Cudd_Ref, cuddCacheInsert, and PBORI_PREFIX.
void polybori::CCacheManBase< ManagerType, CacheType, 3 >::insert | ( | navigator | first, |
navigator | second, | ||
navigator | third, | ||
navigator | result | ||
) | const [inline] |
Store cached value wrt. given node.