|
PolyBoRi
|
#include <CCacheManagement.h>
Public Types | |
| typedef CCacheManBase < ManagerType, CacheType, 2 > | 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) const |
| Find cached value wrt. given node. | |
| navigator | find (navigator first, navigator second) const |
| Find cached value wrt. given node (for navigator type) | |
| void | insert (node_type first, node_type second, node_type result) const |
| Store cached value wrt. given node. | |
| void | insert (navigator first, navigator second, navigator result) const |
| Store cached value wrt. given node. | |
| 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.
| polybori::CCacheManBase< ManagerType, CacheType, 2 >::CCacheManBase | ( | const manager_type & | mgr | ) | [inline] |
Constructor.
| node_type polybori::CCacheManBase< ManagerType, CacheType, 2 >::find | ( | node_type | first, |
| node_type | second | ||
| ) | const [inline] |
Find cached value wrt. given node.
| navigator polybori::CCacheManBase< ManagerType, CacheType, 2 >::find | ( | navigator | first, |
| navigator | second | ||
| ) | const [inline] |
Find cached value wrt. given node (for navigator type)
References polybori::explicit_navigator_cast().
| void polybori::CCacheManBase< ManagerType, CacheType, 2 >::insert | ( | node_type | first, |
| node_type | second, | ||
| node_type | result | ||
| ) | const [inline] |
Store cached value wrt. given node.
| void polybori::CCacheManBase< ManagerType, CacheType, 2 >::insert | ( | navigator | first, |
| navigator | second, | ||
| navigator | result | ||
| ) | const [inline] |
Store cached value wrt. given node.
1.7.4