PolyBoRi
Public Member Functions
polybori::CBlockDegreeCache Class Reference

#include <CDegreeCache.h>

Inheritance diagram for polybori::CBlockDegreeCache:
polybori::CCacheManagement< BoolePolyRing, CCacheTypes::block_degree, 2 >

List of all members.

Public Types

Define generic access to data types
typedef DDType dd_type
typedef CCacheTypes::block_degree tag_type
typedef CCacheManagement
< BoolePolyRing, tag_type, 2 > 
base
 Name base type.
typedef CBlockDegreeCache
< dd_type
self
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

 CBlockDegreeCache (const manager_type &mgr)
 Constructor.
 CBlockDegreeCache (const self &rhs)
 Copy Constructor.
 ~CBlockDegreeCache ()
 Destructor.
node_type find (input_node_type navi, idx_type idx) const
 Find cached degree wrt. given navigator.
node_type find (navi_type navi, idx_type idx) const
void insert (input_node_type navi, idx_type idx, size_type deg) const
 Store cached degree wrt. given navigator.
void insert (navi_type navi, idx_type idx, size_type deg) const
 Store cached degree wrt. given navigator.

Member Typedef Documentation

typedef dd_type::navigator polybori::CBlockDegreeCache::navi_type

Extracting inherited node type.

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


Constructor & Destructor Documentation

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

Constructor.

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

Copy Constructor.

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

Destructor.


Member Function Documentation

node_type polybori::CBlockDegreeCache::find ( input_node_type  navi,
idx_type  idx 
) const [inline]

Find cached degree wrt. given navigator.

node_type polybori::CBlockDegreeCache::find ( navi_type  navi,
idx_type  idx 
) const [inline]
void polybori::CBlockDegreeCache::insert ( input_node_type  navi,
idx_type  idx,
size_type  deg 
) const [inline]

Store cached degree wrt. given navigator.

void polybori::CBlockDegreeCache::insert ( navi_type  navi,
idx_type  idx,
size_type  deg 
) const [inline]

Store cached degree wrt. given navigator.


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