PolyBoRi
|
#include <COrderedIter.h>
Public Types | |
typedef COrderedIter < NavigatorType, MonomType > | self |
typedef CAbstractStackBase < NavigatorType > | stack_base |
typedef CTermStackBase < NavigatorType, stack_base > | iterator_core |
typedef CTermGenerator< MonomType > | term_generator |
Type for functional, which generates actual term, for current path. | |
typedef iterator_core::const_iterator | const_iterator |
typedef iterator_core::const_reverse_iterator | const_reverse_iterator |
typedef iterator_core::size_type | size_type |
typedef iterator_core::deg_type | deg_type |
typedef iterator_core::idx_type | idx_type |
typedef NavigatorType | navigator |
Fix type of direct iterator. | |
typedef boost::shared_ptr < iterator_core > | core_pointer |
typedef bool | bool_type |
Extract plain Boolean type. | |
Public Member Functions | |
COrderedIter (core_pointer rhs, const term_generator &getTerm) | |
~COrderedIter () | |
bool | equal (const self &rhs) const |
void | increment () |
Incrementation. | |
bool_type | isOne () const |
Determine whether term is one (without explicit constructing) | |
bool_type | isZero () const |
Determine whether term is zero (without explicit constructing) | |
bool_type | isEnd () const |
Check, whether end of iteration is reached. | |
MonomType | dereference () const |
Dereferencing operation. | |
const_iterator | begin () const |
const_iterator | end () const |
const_reverse_iterator | rbegin () const |
const_reverse_iterator | rend () const |
deg_type | deg () const |
idx_type | firstIndex () const |
navigator | navigation () const |
Get navigator of term start. | |
Protected Attributes | |
term_generator | m_getTerm |
The functional which defines the dereferecing operation. | |
core_pointer | p_iter |
A shared pointer to the stack, which carries the current path. |
typedef bool polybori::COrderedIter::bool_type |
Extract plain Boolean type.
typedef boost::shared_ptr<iterator_core> polybori::COrderedIter::core_pointer |
typedef CTermStackBase<NavigatorType, stack_base> polybori::COrderedIter::iterator_core |
typedef NavigatorType polybori::COrderedIter::navigator |
Fix type of direct iterator.
typedef COrderedIter<NavigatorType, MonomType> polybori::COrderedIter::self |
typedef CAbstractStackBase<NavigatorType> polybori::COrderedIter::stack_base |
typedef CTermGenerator<MonomType> polybori::COrderedIter::term_generator |
Type for functional, which generates actual term, for current path.
Reimplemented in polybori::CGenericOrderedIter< OrderType, NavigatorType, BooleExponent >, and polybori::CGenericOrderedIter.
polybori::COrderedIter::COrderedIter | ( | core_pointer | rhs, |
const term_generator & | getTerm | ||
) | [inline] |
polybori::COrderedIter::~COrderedIter | ( | ) | [inline] |
const_iterator polybori::COrderedIter::begin | ( | ) | const [inline] |
deg_type polybori::COrderedIter::deg | ( | ) | const [inline] |
MonomType polybori::COrderedIter::dereference | ( | ) | const [inline] |
Dereferencing operation.
const_iterator polybori::COrderedIter::end | ( | ) | const [inline] |
bool polybori::COrderedIter::equal | ( | const self & | rhs | ) | const [inline] |
idx_type polybori::COrderedIter::firstIndex | ( | ) | const [inline] |
void polybori::COrderedIter::increment | ( | ) | [inline] |
Incrementation.
bool_type polybori::COrderedIter::isEnd | ( | ) | const [inline] |
Check, whether end of iteration is reached.
bool_type polybori::COrderedIter::isOne | ( | ) | const [inline] |
Determine whether term is one (without explicit constructing)
bool_type polybori::COrderedIter::isZero | ( | ) | const [inline] |
Determine whether term is zero (without explicit constructing)
navigator polybori::COrderedIter::navigation | ( | ) | const [inline] |
Get navigator of term start.
const_reverse_iterator polybori::COrderedIter::rbegin | ( | ) | const [inline] |
const_reverse_iterator polybori::COrderedIter::rend | ( | ) | const [inline] |
term_generator polybori::COrderedIter::m_getTerm [protected] |
The functional which defines the dereferecing operation.
core_pointer polybori::COrderedIter::p_iter [protected] |
A shared pointer to the stack, which carries the current path.