PolyBoRi
Public Member Functions
polybori::CDegreeArgumentCache Class Reference

#include <CDegreeCache.h>

Inheritance diagram for polybori::CDegreeArgumentCache:
polybori::CCacheManagement< BoolePolyRing, TagType, 2 > polybori::CAuxTypes

List of all members.

Public Types

Define generic access to data types
typedef DDType dd_type
typedef TagType tag_type
typedef CCacheManagement
< BoolePolyRing, tag_type, 2 > 
base
 Name base type.
typedef CDegreeArgumentCache
< tag_type, dd_type
self
Adopt type definitions
typedef base::node_type node_type
 Extracting inherited node type.
typedef base::manager_type manager_type
typedef dd_type::navigator navi_type
typedef CIndexCacheHandle
< navi_type
degree_node_type

Public Member Functions

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

Member Typedef Documentation

Name base type.

Reimplemented from polybori::CCacheManagement< BoolePolyRing, TagType, 2 >.

typedef dd_type::navigator polybori::CDegreeArgumentCache::navi_type

Extracting inherited node type.

Reimplemented from polybori::CCacheManagement< BoolePolyRing, TagType, 2 >.


Constructor & Destructor Documentation

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

Constructor.

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

Copy Constructor.

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

Destructor.


Member Function Documentation

navi_type polybori::CDegreeArgumentCache::find ( navi_type  navi,
size_type  deg 
) const [inline]

Find cached degree wrt. given navigator.

void polybori::CDegreeArgumentCache::insert ( navi_type  navi,
size_type  deg,
navi_type  result 
) const [inline]

Store cached degree wrt. given navigator.


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