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. | |
typedef navigator | base |
Define type base. | |
typedef navigator::bool_type | bool_type |
Plain Boolean type. | |
typedef CTypes::idx_type | idx_type |
Type for representing indices. | |
typedef CTypes::size_type | size_type |
Type for representing size. | |
typedef BoolePolyRing | manager_type |
Type of decision diagram manager. | |
Public Member Functions | |
CIndexHandle (idx_type idx) | |
Construct from index. | |
CIndexHandle (navigator navi, const manager_type &mgr) | |
Construct from given navigator. | |
idx_type | operator* () const |
Dereference to get stored index. | |
bool | isValid () const |
Protected Member Functions | |
idx_type | fromNode (navigator navi, const manager_type &mgr) const |
Dereference to get stored index. | |
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).
Define type base.
typedef navigator::bool_type polybori::CIndexHandle::bool_type |
Plain Boolean type.
Type for representing indices.
Type of decision diagram manager.
typedef NaviType polybori::CIndexHandle::navigator |
Set actual storage type.
Type for representing size.
polybori::CIndexHandle::CIndexHandle | ( | idx_type | idx | ) | [inline] |
Construct from index.
polybori::CIndexHandle::CIndexHandle | ( | navigator | navi, |
const manager_type & | mgr | ||
) | [inline, explicit] |
Construct from given navigator.
idx_type polybori::CIndexHandle::fromNode | ( | navigator | navi, |
const manager_type & | mgr | ||
) | const [inline, protected] |
Dereference to get stored index.
References UNLIKELY, and polybori::BoolePolyRing::nVariables().
bool polybori::CIndexHandle::isValid | ( | ) | const [inline] |
idx_type polybori::CIndexHandle::operator* | ( | ) | const [inline] |
Dereference to get stored index.
idx_type polybori::CIndexHandle::m_idx [protected] |