PolyBoRi
Public Member Functions
polybori::CBoundedDegreeCache< DDType > Class Template Reference

#include <CDegreeCache.h>

Inheritance diagram for polybori::CBoundedDegreeCache< DDType >:
polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 2 > CCacheManBase< BoolePolyRing, CCacheTypes::degree, ArgumentLength >

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_typenode_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 CCacheManagement<BoolePolyRing, tag_type, 2> polybori::CBoundedDegreeCache< DDType >::base
template<class DDType >
typedef DDType polybori::CBoundedDegreeCache< DDType >::dd_type
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
template<class DDType >
typedef dd_type::navigator polybori::CBoundedDegreeCache< DDType >::navi_type
template<class DDType >
typedef CIndexCacheHandle<navi_type> polybori::CBoundedDegreeCache< DDType >::node_cache_type
template<class DDType >
typedef CIndexHandle<navi_type> polybori::CBoundedDegreeCache< DDType >::node_type

Extracting inherited node type.

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

template<class DDType >
typedef CCacheTypes::degree polybori::CBoundedDegreeCache< DDType >::tag_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: