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

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>

List of all members.

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

Detailed Description

This class defines an uses an navigator-like type for storing integer values from 0 upto nmax (number of currently active ring variables).


Member Typedef Documentation

Define type base.

typedef navigator::bool_type polybori::CIndexHandle::bool_type

Plain Boolean type.

Type for representing indices.

Type of decision diagram manager.

Set actual storage type.

Type for representing size.


Member Enumeration Documentation

anonymous enum
Enumerator:
invalid 

Constructor & Destructor Documentation

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.


Member Function Documentation

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.


Member Data Documentation


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