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 |
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 | |
CDegreeCache (const manager_type &mgr) | |
Constructor. | |
CDegreeCache (const self &rhs) | |
Copy Constructor. | |
~CDegreeCache () | |
Destructor. | |
node_type | find (input_node_type navi) const |
Find cached degree wrt. given navigator. | |
node_type | find (navi_type navi) const |
void | insert (input_node_type navi, deg_type deg) const |
Store cached degree wrt. given navigator. | |
void | insert (navi_type navi, deg_type deg) const |
Store cached degree wrt. given navigator. | |
node_type | find (input_node_type navi, deg_type) const |
Find cached degree wrt. given navigator (ignoring bound as second argument) | |
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) | |
void | insert (navi_type navi, deg_type, deg_type deg) const |
Store cached degree wrt. given navigator. |
Name base type.
Reimplemented from polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 1 >.
typedef DDType polybori::CDegreeCache::dd_type |
Reimplemented from polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 1 >.
typedef dd_type::navigator polybori::CDegreeCache::navi_type |
Extracting inherited node type.
Reimplemented from polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 1 >.
polybori::CDegreeCache::CDegreeCache | ( | const manager_type & | mgr | ) | [inline] |
Constructor.
polybori::CDegreeCache::CDegreeCache | ( | const self & | rhs | ) | [inline] |
Copy Constructor.
polybori::CDegreeCache::~CDegreeCache | ( | ) | [inline] |
Destructor.
node_type polybori::CDegreeCache::find | ( | input_node_type | navi | ) | const [inline] |
Find cached degree wrt. given navigator.
node_type polybori::CDegreeCache::find | ( | input_node_type | navi, |
deg_type | |||
) | const [inline] |
Find cached degree wrt. given navigator (ignoring bound as second argument)
void polybori::CDegreeCache::insert | ( | input_node_type | navi, |
deg_type | deg | ||
) | const [inline] |
Store cached degree wrt. given navigator.
void polybori::CDegreeCache::insert | ( | navi_type | navi, |
deg_type | deg | ||
) | const [inline] |
Store cached degree wrt. given navigator.
void polybori::CDegreeCache::insert | ( | input_node_type | navi, |
deg_type | , | ||
deg_type | deg | ||
) | const [inline] |
Store cached degree wrt. given navigator (ignoring bound as second argument)
void polybori::CDegreeCache::insert | ( | navi_type | navi, |
deg_type | , | ||
deg_type | deg | ||
) | const [inline] |
Store cached degree wrt. given navigator.