PolyBoRi
|
#include <CDegreeCache.h>
Public Types | |
Define generic access to data types | |
typedef DDType | dd_type |
typedef CCacheTypes::degree | tag_type |
typedef CCacheManagement< BoolePolyRing, tag_type, 1 > | base |
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 |
typedef CIndexCacheHandle< navi_type > | node_cache_type |
![]() | |
typedef CCacheManBase< manager_type, cache_type, nargs > | base |
Name base type. More... | |
typedef base::node_type | node_type |
Extracting inherited node type. More... | |
enum | |
typedef BoolePolyRing | manager_type |
typedef manager_type::deg_type | deg_type |
typedef manager_type::size_type | size_type |
typedef manager_type::idx_type | idx_type |
typedef CCacheTypes::degree | cache_type |
Public Member Functions | |
CDegreeCache (const manager_type &mgr) | |
Constructor. More... | |
CDegreeCache (const self &rhs) | |
Copy Constructor. More... | |
~CDegreeCache () | |
Destructor. More... | |
node_type | find (input_node_type navi) const |
Find cached degree wrt. given navigator. More... | |
node_type | find (navi_type navi) const |
void | insert (input_node_type navi, deg_type deg) const |
Store cached degree wrt. given navigator. More... | |
void | insert (navi_type navi, deg_type deg) const |
Store cached degree wrt. given navigator. More... | |
node_type | find (input_node_type navi, deg_type) const |
Find cached degree wrt. given navigator (ignoring bound as second argument) More... | |
node_type | find (navi_type navi, deg_type) const |
void | insert (input_node_type navi, deg_type, deg_type deg) const |
Store cached degree wrt. given navigator (ignoring bound as second argument) More... | |
void | insert (navi_type navi, deg_type, deg_type deg) const |
Store cached degree wrt. given navigator. More... | |
![]() | |
CCacheManagement (const manager_type &mgr) | |
Constructor and default constructor. More... | |
typedef CCacheManagement<BoolePolyRing, tag_type, 1> polybori::CDegreeCache< DDType >::base |
typedef DDType polybori::CDegreeCache< DDType >::dd_type |
typedef base::node_type polybori::CDegreeCache< DDType >::input_node_type |
typedef base::manager_type polybori::CDegreeCache< DDType >::manager_type |
typedef dd_type::navigator polybori::CDegreeCache< DDType >::navi_type |
typedef CIndexCacheHandle<navi_type> polybori::CDegreeCache< DDType >::node_cache_type |
typedef CIndexHandle<navi_type> polybori::CDegreeCache< DDType >::node_type |
typedef CCacheTypes::degree polybori::CDegreeCache< DDType >::tag_type |
|
inline |
Constructor.
|
inline |
Copy Constructor.
|
inline |
Destructor.
|
inline |
Find cached degree wrt. given navigator.
|
inline |
|
inline |
Find cached degree wrt. given navigator (ignoring bound as second argument)
|
inline |
|
inline |
Store cached degree wrt. given navigator.
|
inline |
Store cached degree wrt. given navigator.
|
inline |
Store cached degree wrt. given navigator (ignoring bound as second argument)
|
inline |
Store cached degree wrt. given navigator.