|
PolyBoRi
|
#include <CDegreeCache.h>
Public Types | |
Define generic access to data types | |
| typedef DDType | dd_type |
| typedef TagType | tag_type |
| typedef CCacheManagement < BoolePolyRing, tag_type, 2 > | base |
| Name base type. | |
| typedef CDegreeArgumentCache < tag_type, dd_type > | self |
Adopt type definitions | |
| typedef base::node_type | node_type |
| Extracting inherited node type. | |
| typedef base::manager_type | manager_type |
| typedef dd_type::navigator | navi_type |
| typedef CIndexCacheHandle < navi_type > | degree_node_type |
Public Member Functions | |
| CDegreeArgumentCache (const manager_type &mgr) | |
| Constructor. | |
| CDegreeArgumentCache (const self &rhs) | |
| Copy Constructor. | |
| ~CDegreeArgumentCache () | |
| Destructor. | |
| navi_type | find (navi_type navi, size_type deg) const |
| Find cached degree wrt. given navigator. | |
| void | insert (navi_type navi, size_type deg, navi_type result) const |
| Store cached degree wrt. given navigator. | |
Name base type.
Reimplemented from polybori::CCacheManagement< BoolePolyRing, TagType, 2 >.
| typedef DDType polybori::CDegreeArgumentCache::dd_type |
Reimplemented from polybori::CCacheManagement< BoolePolyRing, TagType, 2 >.
| typedef dd_type::navigator polybori::CDegreeArgumentCache::navi_type |
Extracting inherited node type.
Reimplemented from polybori::CCacheManagement< BoolePolyRing, TagType, 2 >.
| typedef TagType polybori::CDegreeArgumentCache::tag_type |
| polybori::CDegreeArgumentCache::CDegreeArgumentCache | ( | const manager_type & | mgr | ) | [inline] |
Constructor.
| polybori::CDegreeArgumentCache::CDegreeArgumentCache | ( | const self & | rhs | ) | [inline] |
Copy Constructor.
| polybori::CDegreeArgumentCache::~CDegreeArgumentCache | ( | ) | [inline] |
Destructor.
Find cached degree wrt. given navigator.
| void polybori::CDegreeArgumentCache::insert | ( | navi_type | navi, |
| size_type | deg, | ||
| navi_type | result | ||
| ) | const [inline] |
Store cached degree wrt. given navigator.
1.7.5