polybori::CDegreeCache< DDType > Class Template Reference

#include <CDegreeCache.h>

Inheritance diagram for polybori::CDegreeCache< DDType >:

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
Public Types inherited from polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 1 >
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...
Public Member Functions inherited from polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 1 >
	CCacheManagement (const manager_type &mgr)
	Constructor and default constructor. More...

Member Typedef Documentation

template<class DDType>

typedef CCacheManagement<BoolePolyRing, tag_type, 1> polybori::CDegreeCache< DDType >::base

template<class DDType>

typedef DDType polybori::CDegreeCache< DDType >::dd_type

template<class DDType>

typedef base::node_type polybori::CDegreeCache< DDType >::input_node_type

template<class DDType>

typedef base::manager_type polybori::CDegreeCache< DDType >::manager_type

template<class DDType>

typedef dd_type::navigator polybori::CDegreeCache< DDType >::navi_type

template<class DDType>

typedef CIndexCacheHandle<navi_type> polybori::CDegreeCache< DDType >::node_cache_type

template<class DDType>

typedef CIndexHandle<navi_type> polybori::CDegreeCache< DDType >::node_type

template<class DDType>

typedef CCacheTypes::degree polybori::CDegreeCache< DDType >::tag_type

Constructor & Destructor Documentation

template<class DDType>

polybori::CDegreeCache< DDType >::CDegreeCache ( const manager_type &  mgr )

inline

Constructor.

template<class DDType>

polybori::CDegreeCache< DDType >::CDegreeCache ( const self &  rhs )

inline

Copy Constructor.

template<class DDType>

polybori::CDegreeCache< DDType >::~CDegreeCache ( )

inline

Destructor.

Member Function Documentation

template<class DDType>

node_type polybori::CDegreeCache< DDType >::find ( input_node_type  navi ) const

inline

Find cached degree wrt. given navigator.

template<class DDType>

node_type polybori::CDegreeCache< DDType >::find ( navi_type  navi ) const

inline

template<class DDType>

node_type polybori::CDegreeCache< DDType >::find ( input_node_type  navi, deg_type    ) const

inline

Find cached degree wrt. given navigator (ignoring bound as second argument)

template<class DDType>

node_type polybori::CDegreeCache< DDType >::find ( navi_type  navi, deg_type    ) const

inline

template<class DDType>

void polybori::CDegreeCache< DDType >::insert ( input_node_type  navi, deg_type  deg  ) const

inline

Store cached degree wrt. given navigator.

template<class DDType>

void polybori::CDegreeCache< DDType >::insert ( navi_type  navi, deg_type  deg  ) const

inline

Store cached degree wrt. given navigator.

template<class DDType>

void polybori::CDegreeCache< DDType >::insert ( input_node_type  navi, deg_type  , deg_type  deg  ) const

inline

Store cached degree wrt. given navigator (ignoring bound as second argument)

template<class DDType>

void polybori::CDegreeCache< DDType >::insert ( navi_type  navi, deg_type  , deg_type  deg  ) const

inline

Store cached degree wrt. given navigator.

---

The documentation for this class was generated from the following file:

• CDegreeCache.h