polybori::CBoundedDegreeCache< DDType > Class Template Reference
#include <CDegreeCache.h>
Inheritance diagram for polybori::CBoundedDegreeCache< DDType >:
Public Types | |
Define generic access to data types | |
| typedef DDType | dd_type |
| typedef CCacheTypes::degree | tag_type |
| typedef CCacheManagement < BoolePolyRing, tag_type, 2 > | base |
| Name base type. | |
Adopt type definitions | |
| typedef base::node_type | input_node_type |
| typedef base::manager_type | manager_type |
| typedef dd_type::navigator | navi_type |
| typedef CIndexHandle< navi_type > | node_type |
| Extracting inherited node type. | |
| typedef CIndexCacheHandle < navi_type > | node_cache_type |
Public Member Functions | |
| CBoundedDegreeCache (const manager_type &mgr) | |
| Constructor. | |
| CBoundedDegreeCache (const self &rhs) | |
| Copy Constructor. | |
| ~CBoundedDegreeCache () | |
| Destructor. | |
| node_type | find (input_node_type navi, deg_type upper_bound) const |
| Find cached degree wrt. given navigator. | |
| node_type | find (navi_type navi, deg_type upper_bound) const |
| void | insert (input_node_type navi, deg_type upper_bound, deg_type deg) const |
| Store cached degree wrt. given navigator. | |
| void | insert (navi_type navi, deg_type upper_bound, deg_type deg) const |
| Store cached degree wrt. given navigator. | |
template<class DDType>
class polybori::CBoundedDegreeCache< DDType >
Member Typedef Documentation
template<class DDType>
| typedef DDType polybori::CBoundedDegreeCache< DDType >::dd_type |
template<class DDType>
| typedef CCacheTypes::degree polybori::CBoundedDegreeCache< DDType >::tag_type |
template<class DDType>
| typedef CCacheManagement<BoolePolyRing, tag_type, 2> polybori::CBoundedDegreeCache< DDType >::base |
Name base type.
Reimplemented from polybori::CCacheManagement< ManagerType, CacheType, ArgumentLength >.
template<class DDType>
| typedef base::node_type polybori::CBoundedDegreeCache< DDType >::input_node_type |
template<class DDType>
| typedef base::manager_type polybori::CBoundedDegreeCache< DDType >::manager_type |
Reimplemented from polybori::CCacheManagement< ManagerType, CacheType, ArgumentLength >.
template<class DDType>
| typedef dd_type::navigator polybori::CBoundedDegreeCache< DDType >::navi_type |
template<class DDType>
| typedef CIndexHandle<navi_type> polybori::CBoundedDegreeCache< DDType >::node_type |
Extracting inherited node type.
Reimplemented from polybori::CCacheManagement< ManagerType, CacheType, ArgumentLength >.
template<class DDType>
| typedef CIndexCacheHandle<navi_type> polybori::CBoundedDegreeCache< DDType >::node_cache_type |
Constructor & Destructor Documentation
template<class DDType>
| polybori::CBoundedDegreeCache< DDType >::CBoundedDegreeCache | ( | const manager_type & | mgr | ) | [inline] |
Constructor.
template<class DDType>
| polybori::CBoundedDegreeCache< DDType >::CBoundedDegreeCache | ( | const self & | rhs | ) | [inline] |
Copy Constructor.
template<class DDType>
| polybori::CBoundedDegreeCache< DDType >::~CBoundedDegreeCache | ( | ) | [inline] |
Destructor.
Member Function Documentation
template<class DDType>
| node_type polybori::CBoundedDegreeCache< DDType >::find | ( | input_node_type | navi, | |
| deg_type | upper_bound | |||
| ) | const [inline] |
Find cached degree wrt. given navigator.
template<class DDType>
| node_type polybori::CBoundedDegreeCache< DDType >::find | ( | navi_type | navi, | |
| deg_type | upper_bound | |||
| ) | const [inline] |
template<class DDType>
| void polybori::CBoundedDegreeCache< DDType >::insert | ( | input_node_type | navi, | |
| deg_type | upper_bound, | |||
| deg_type | deg | |||
| ) | const [inline] |
Store cached degree wrt. given navigator.
template<class DDType>
| void polybori::CBoundedDegreeCache< DDType >::insert | ( | navi_type | navi, | |
| deg_type | upper_bound, | |||
| deg_type | deg | |||
| ) | const [inline] |
Store cached degree wrt. given navigator.
The documentation for this class was generated from the following file:
