PolyBoRi
|
#include <CDegreeCache.h>
Public Types | |
typedef NaviType | navigator |
Set actual storage type. More... | |
typedef navigator::bool_type | bool_type |
Define type base. More... | |
typedef navigator::value_type | idx_type |
Type for representing indices. More... | |
typedef navigator::size_type | size_type |
Type for representing size. More... | |
typedef BoolePolyRing | manager_type |
Type of decision diagram manager. More... | |
Public Member Functions | |
CIndexCacheHandle (idx_type idx, const manager_type &mgr) | |
Construct from index. More... | |
CIndexCacheHandle (navigator navi) | |
Construct from given navigator. More... | |
operator navigator () const | |
Protected Member Functions | |
navigator | toNode (idx_type idx, const manager_type &mgr) const |
Convert plain number to navigation type. More... | |
Protected Attributes | |
navigator | m_navi |
Actual navigator, which is stored. More... | |
typedef navigator::bool_type polybori::CIndexCacheHandle< NaviType >::bool_type |
Define type base.
Plain Boolean type
typedef navigator::value_type polybori::CIndexCacheHandle< NaviType >::idx_type |
Type for representing indices.
typedef BoolePolyRing polybori::CIndexCacheHandle< NaviType >::manager_type |
Type of decision diagram manager.
typedef NaviType polybori::CIndexCacheHandle< NaviType >::navigator |
Set actual storage type.
typedef navigator::size_type polybori::CIndexCacheHandle< NaviType >::size_type |
Type for representing size.
|
inline |
Construct from index.
|
inlineexplicit |
Construct from given navigator.
|
inline |
|
inlineprotected |
Convert plain number to navigation type.
References polybori::BoolePolyRing::nVariables(), PBORI_LIKELY, polybori::BoolePolyRing::variable(), and polybori::BoolePolyRing::zero().
|
protected |
Actual navigator, which is stored.