PolyBoRi
Public Types | Public Member Functions | Protected Member Functions | Protected Attributes
polybori::CIndexCacheHandle Class Reference

#include <CDegreeCache.h>

List of all members.

Public Types

typedef NaviType navigator
 Set actual storage type.
typedef navigator::bool_type bool_type
 Define type base.
typedef navigator::value_type idx_type
 Type for representing indices.
typedef navigator::size_type size_type
 Type for representing size.
typedef BoolePolyRing manager_type
 Type of decision diagram manager.

Public Member Functions

 CIndexCacheHandle (idx_type idx, const manager_type &mgr)
 Construct from index.
 CIndexCacheHandle (navigator navi)
 Construct from given navigator.
 operator navigator () const

Protected Member Functions

navigator toNode (idx_type idx, const manager_type &mgr) const
 Convert plain number to navigation type.

Protected Attributes

navigator m_navi
 Actual navigator, which is stored.

Member Typedef Documentation

typedef navigator::bool_type polybori::CIndexCacheHandle::bool_type

Define type base.

Plain Boolean type

typedef navigator::value_type polybori::CIndexCacheHandle::idx_type

Type for representing indices.

Type of decision diagram manager.

Set actual storage type.

typedef navigator::size_type polybori::CIndexCacheHandle::size_type

Type for representing size.


Constructor & Destructor Documentation

polybori::CIndexCacheHandle::CIndexCacheHandle ( idx_type  idx,
const manager_type mgr 
) [inline]

Construct from index.

polybori::CIndexCacheHandle::CIndexCacheHandle ( navigator  navi) [inline, explicit]

Construct from given navigator.


Member Function Documentation

polybori::CIndexCacheHandle::operator navigator ( ) const [inline]
navigator polybori::CIndexCacheHandle::toNode ( idx_type  idx,
const manager_type mgr 
) const [inline, protected]

Member Data Documentation

Actual navigator, which is stored.


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