polybori::CBoundedDegreeCache Class Reference

#include <CDegreeCache.h>

Inheritance diagram for polybori::CBoundedDegreeCache:

List of all members.

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.

---

Member Typedef Documentation

typedef CCacheManagement<BoolePolyRing, tag_type, 2> polybori::CBoundedDegreeCache::base

Name base type.

Reimplemented from polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 2 >.

typedef DDType polybori::CBoundedDegreeCache::dd_type

typedef base::node_type polybori::CBoundedDegreeCache::input_node_type

typedef base::manager_type polybori::CBoundedDegreeCache::manager_type

Reimplemented from polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 2 >.

typedef dd_type::navigator polybori::CBoundedDegreeCache::navi_type

typedef CIndexCacheHandle<navi_type> polybori::CBoundedDegreeCache::node_cache_type

typedef CIndexHandle<navi_type> polybori::CBoundedDegreeCache::node_type

Extracting inherited node type.

Reimplemented from polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 2 >.

typedef CCacheTypes::degree polybori::CBoundedDegreeCache::tag_type

---

Constructor & Destructor Documentation

polybori::CBoundedDegreeCache::CBoundedDegreeCache

(

const manager_type &

mgr

)

[inline]

Constructor.

polybori::CBoundedDegreeCache::CBoundedDegreeCache

(

const self &

rhs

)

[inline]

Copy Constructor.

polybori::CBoundedDegreeCache::~CBoundedDegreeCache

(

)

[inline]

Destructor.

---

Member Function Documentation

node_type polybori::CBoundedDegreeCache::find	(	input_node_type	navi,
		deg_type	upper_bound
	)		const [inline]

Find cached degree wrt. given navigator.

node_type polybori::CBoundedDegreeCache::find	(	navi_type	navi,
		deg_type	upper_bound
	)		const [inline]

void polybori::CBoundedDegreeCache::insert	(	input_node_type	navi,
		deg_type	upper_bound,
		deg_type	deg
	)		const [inline]

Store cached degree wrt. given navigator.

void polybori::CBoundedDegreeCache::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:

• CDegreeCache.h