COrderedIter< NavigatorType, MonomType > Class Template Reference
#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::idx_type | idx_type |
| typedef NavigatorType | navigator |
| Fix type of direct iterator. | |
| typedef bool | bool_type |
| Extract plain Boolean type. | |
Public Member Functions | |
| typedef | PBORI_SHARED_PTR (iterator_core) core_pointer |
| 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 |
| size_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. | |
template<class NavigatorType, class MonomType>
class COrderedIter< NavigatorType, MonomType >
Member Typedef Documentation
| typedef bool COrderedIter< NavigatorType, MonomType >::bool_type |
Extract plain Boolean type.
| typedef iterator_core::const_iterator COrderedIter< NavigatorType, MonomType >::const_iterator |
| typedef iterator_core::const_reverse_iterator COrderedIter< NavigatorType, MonomType >::const_reverse_iterator |
| typedef iterator_core::idx_type COrderedIter< NavigatorType, MonomType >::idx_type |
| typedef CTermStackBase<NavigatorType, stack_base> COrderedIter< NavigatorType, MonomType >::iterator_core |
| typedef NavigatorType COrderedIter< NavigatorType, MonomType >::navigator |
Fix type of direct iterator.
| typedef COrderedIter<NavigatorType, MonomType> COrderedIter< NavigatorType, MonomType >::self |
| typedef iterator_core::size_type COrderedIter< NavigatorType, MonomType >::size_type |
| typedef CAbstractStackBase<NavigatorType> COrderedIter< NavigatorType, MonomType >::stack_base |
| typedef CTermGenerator<MonomType> COrderedIter< NavigatorType, MonomType >::term_generator |
Type for functional, which generates actual term, for current path.
Reimplemented in CGenericOrderedIter< OrderType, NavigatorType, MonomType >, and CGenericOrderedIter< OrderType, NavigatorType, BooleExponent >.
Constructor & Destructor Documentation
| COrderedIter< NavigatorType, MonomType >::COrderedIter | ( | core_pointer | rhs, | |
| const term_generator & | getTerm | |||
| ) | [inline] |
| COrderedIter< NavigatorType, MonomType >::~COrderedIter | ( | ) | [inline] |
Member Function Documentation
| const_iterator COrderedIter< NavigatorType, MonomType >::begin | ( | ) | const [inline] |
Referenced by COrderedIter< NavigatorType, BooleExponent >::firstIndex().
| size_type COrderedIter< NavigatorType, MonomType >::deg | ( | ) | const [inline] |
| MonomType COrderedIter< NavigatorType, MonomType >::dereference | ( | ) | const [inline] |
Dereferencing operation.
| const_iterator COrderedIter< NavigatorType, MonomType >::end | ( | ) | const [inline] |
| bool COrderedIter< NavigatorType, MonomType >::equal | ( | const self & | rhs | ) | const [inline] |
| idx_type COrderedIter< NavigatorType, MonomType >::firstIndex | ( | ) | const [inline] |
| void COrderedIter< NavigatorType, MonomType >::increment | ( | ) | [inline] |
Incrementation.
| bool_type COrderedIter< NavigatorType, MonomType >::isEnd | ( | ) | const [inline] |
Check, whether end of iteration is reached.
| bool_type COrderedIter< NavigatorType, MonomType >::isOne | ( | ) | const [inline] |
Determine whether term is one (without explicit constructing).
| bool_type COrderedIter< NavigatorType, MonomType >::isZero | ( | ) | const [inline] |
Determine whether term is zero (without explicit constructing).
Referenced by COrderedIter< NavigatorType, BooleExponent >::isEnd().
| navigator COrderedIter< NavigatorType, MonomType >::navigation | ( | ) | const [inline] |
Get navigator of term start.
| typedef COrderedIter< NavigatorType, MonomType >::PBORI_SHARED_PTR | ( | iterator_core | ) |
| const_reverse_iterator COrderedIter< NavigatorType, MonomType >::rbegin | ( | ) | const [inline] |
| const_reverse_iterator COrderedIter< NavigatorType, MonomType >::rend | ( | ) | const [inline] |
Member Data Documentation
term_generator COrderedIter< NavigatorType, MonomType >::m_getTerm [protected] |
The functional which defines the dereferecing operation.
Referenced by COrderedIter< NavigatorType, BooleExponent >::dereference().
core_pointer COrderedIter< NavigatorType, MonomType >::p_iter [protected] |
A shared pointer to the stack, which carries the current path.
Referenced by COrderedIter< NavigatorType, BooleExponent >::begin(), COrderedIter< NavigatorType, BooleExponent >::deg(), COrderedIter< NavigatorType, BooleExponent >::dereference(), COrderedIter< NavigatorType, BooleExponent >::end(), COrderedIter< NavigatorType, BooleExponent >::equal(), COrderedIter< NavigatorType, BooleExponent >::increment(), COrderedIter< NavigatorType, BooleExponent >::isOne(), COrderedIter< NavigatorType, BooleExponent >::isZero(), COrderedIter< NavigatorType, BooleExponent >::navigation(), COrderedIter< NavigatorType, BooleExponent >::rbegin(), and COrderedIter< NavigatorType, BooleExponent >::rend().
The documentation for this class was generated from the following file:
