PolyBoRi
Public Member Functions
polybori::CDegreeCache Class Reference

#include <CDegreeCache.h>

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

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, 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_typenode_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.

Member Typedef Documentation

typedef dd_type::navigator polybori::CDegreeCache::navi_type

Extracting inherited node type.

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


Constructor & Destructor Documentation

polybori::CDegreeCache::CDegreeCache ( const manager_type mgr) [inline]

Constructor.

polybori::CDegreeCache::CDegreeCache ( const self rhs) [inline]

Copy Constructor.

polybori::CDegreeCache::~CDegreeCache ( ) [inline]

Destructor.


Member Function Documentation

node_type polybori::CDegreeCache::find ( input_node_type  navi) const [inline]

Find cached degree wrt. given navigator.

node_type polybori::CDegreeCache::find ( navi_type  navi) const [inline]
node_type polybori::CDegreeCache::find ( input_node_type  navi,
deg_type   
) const [inline]

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

node_type polybori::CDegreeCache::find ( navi_type  navi,
deg_type   
) const [inline]
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.


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