PolyBoRi
|
This class defines an uses an navigator-like type for storing integer values from 0 upto nmax (number of currently active ring variables). More...
#include <CDegreeCache.h>
Public Types | |
enum | { invalid = CTypes::max_idx } |
typedef NaviType | navigator |
Set actual storage type. More... | |
typedef navigator | base |
Define type base. More... | |
typedef navigator::bool_type | bool_type |
Plain Boolean type. More... | |
typedef CTypes::idx_type | idx_type |
Type for representing indices. More... | |
typedef CTypes::size_type | size_type |
Type for representing size. More... | |
typedef BoolePolyRing | manager_type |
Type of decision diagram manager. More... | |
Public Member Functions | |
CIndexHandle (idx_type idx) | |
Construct from index. More... | |
CIndexHandle (navigator navi, const manager_type &mgr) | |
Construct from given navigator. More... | |
idx_type | operator* () const |
Dereference to get stored index. More... | |
bool | isValid () const |
Protected Member Functions | |
idx_type | fromNode (navigator navi, const manager_type &mgr) const |
Dereference to get stored index. More... | |
Protected Attributes | |
idx_type | m_idx |
This class defines an uses an navigator-like type for storing integer values from 0 upto nmax (number of currently active ring variables).
typedef navigator polybori::CIndexHandle< NaviType >::base |
Define type base.
typedef navigator::bool_type polybori::CIndexHandle< NaviType >::bool_type |
Plain Boolean type.
typedef CTypes::idx_type polybori::CIndexHandle< NaviType >::idx_type |
Type for representing indices.
typedef BoolePolyRing polybori::CIndexHandle< NaviType >::manager_type |
Type of decision diagram manager.
typedef NaviType polybori::CIndexHandle< NaviType >::navigator |
Set actual storage type.
typedef CTypes::size_type polybori::CIndexHandle< NaviType >::size_type |
Type for representing size.
|
inline |
Construct from index.
|
inlineexplicit |
Construct from given navigator.
|
inlineprotected |
Dereference to get stored index.
References polybori::BoolePolyRing::nVariables(), and PBORI_UNLIKELY.
|
inline |
|
inline |
Dereference to get stored index.
|
protected |