#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. |
typedef DDType polybori::CDegreeArgumentCache< TagType, DDType >::dd_type |
typedef TagType polybori::CDegreeArgumentCache< TagType, DDType >::tag_type |
typedef CCacheManagement<BoolePolyRing, tag_type, 2> polybori::CDegreeArgumentCache< TagType, DDType >::base |
Name base type.
Reimplemented from polybori::CCacheManagement< ManagerType, CacheType, ArgumentLength >.
typedef CDegreeArgumentCache<tag_type, dd_type> polybori::CDegreeArgumentCache< TagType, DDType >::self |
typedef base::node_type polybori::CDegreeArgumentCache< TagType, DDType >::node_type |
Extracting inherited node type.
Reimplemented from polybori::CCacheManagement< ManagerType, CacheType, ArgumentLength >.
typedef base::manager_type polybori::CDegreeArgumentCache< TagType, DDType >::manager_type |
Reimplemented from polybori::CCacheManagement< ManagerType, CacheType, ArgumentLength >.
typedef dd_type::navigator polybori::CDegreeArgumentCache< TagType, DDType >::navi_type |
typedef CIndexCacheHandle<navi_type> polybori::CDegreeArgumentCache< TagType, DDType >::degree_node_type |
polybori::CDegreeArgumentCache< TagType, DDType >::CDegreeArgumentCache | ( | const manager_type & | mgr | ) | [inline] |
Constructor.
polybori::CDegreeArgumentCache< TagType, DDType >::CDegreeArgumentCache | ( | const self & | rhs | ) | [inline] |
Copy Constructor.
polybori::CDegreeArgumentCache< TagType, DDType >::~CDegreeArgumentCache | ( | ) | [inline] |
Destructor.
navi_type polybori::CDegreeArgumentCache< TagType, DDType >::find | ( | navi_type | navi, | |
size_type | deg | |||
) | const [inline] |
Find cached degree wrt. given navigator.
void polybori::CDegreeArgumentCache< TagType, DDType >::insert | ( | navi_type | navi, | |
size_type | deg, | |||
navi_type | result | |||
) | const [inline] |
Store cached degree wrt. given navigator.