PolyBoRi
Public Member Functions | List of all members
polybori::CDegreeCache< DDType > Class Template Reference

#include <CDegreeCache.h>

Inheritance diagram for polybori::CDegreeCache< DDType >:
polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 1 > polybori::CCacheManBase< BoolePolyRing, CCacheTypes::degree, ArgumentLength >

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_typenode_type
 
typedef CIndexCacheHandle< navi_typenode_cache_type
 
- Public Types inherited from polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 1 >
typedef CCacheManBase< manager_type, cache_type, nargsbase
 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: