COrderedIter< NavigatorType, MonomType > Class Template Reference

#include <COrderedIter.h>

Inheritance diagram for COrderedIter< NavigatorType, MonomType >:
CGenericOrderedIter< OrderType, NavigatorType, MonomType >

List of all members.

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

template<class NavigatorType, class MonomType>
typedef bool COrderedIter< NavigatorType, MonomType >::bool_type

Extract plain Boolean type.

template<class NavigatorType, class MonomType>
typedef iterator_core::const_iterator COrderedIter< NavigatorType, MonomType >::const_iterator
template<class NavigatorType, class MonomType>
typedef iterator_core::const_reverse_iterator COrderedIter< NavigatorType, MonomType >::const_reverse_iterator
template<class NavigatorType, class MonomType>
typedef iterator_core::idx_type COrderedIter< NavigatorType, MonomType >::idx_type
template<class NavigatorType, class MonomType>
typedef CTermStackBase<NavigatorType, stack_base> COrderedIter< NavigatorType, MonomType >::iterator_core
template<class NavigatorType, class MonomType>
typedef NavigatorType COrderedIter< NavigatorType, MonomType >::navigator

Fix type of direct iterator.

template<class NavigatorType, class MonomType>
typedef COrderedIter<NavigatorType, MonomType> COrderedIter< NavigatorType, MonomType >::self
template<class NavigatorType, class MonomType>
typedef iterator_core::size_type COrderedIter< NavigatorType, MonomType >::size_type
template<class NavigatorType, class MonomType>
typedef CAbstractStackBase<NavigatorType> COrderedIter< NavigatorType, MonomType >::stack_base
template<class NavigatorType, class MonomType>
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

template<class NavigatorType, class MonomType>
COrderedIter< NavigatorType, MonomType >::COrderedIter ( core_pointer  rhs,
const term_generator getTerm 
) [inline]
template<class NavigatorType, class MonomType>
COrderedIter< NavigatorType, MonomType >::~COrderedIter (  )  [inline]

Member Function Documentation

template<class NavigatorType, class MonomType>
const_iterator COrderedIter< NavigatorType, MonomType >::begin (  )  const [inline]
template<class NavigatorType, class MonomType>
size_type COrderedIter< NavigatorType, MonomType >::deg (  )  const [inline]
template<class NavigatorType, class MonomType>
MonomType COrderedIter< NavigatorType, MonomType >::dereference (  )  const [inline]

Dereferencing operation.

template<class NavigatorType, class MonomType>
const_iterator COrderedIter< NavigatorType, MonomType >::end (  )  const [inline]
template<class NavigatorType, class MonomType>
bool COrderedIter< NavigatorType, MonomType >::equal ( const self rhs  )  const [inline]
template<class NavigatorType, class MonomType>
idx_type COrderedIter< NavigatorType, MonomType >::firstIndex (  )  const [inline]
template<class NavigatorType, class MonomType>
void COrderedIter< NavigatorType, MonomType >::increment (  )  [inline]

Incrementation.

template<class NavigatorType, class MonomType>
bool_type COrderedIter< NavigatorType, MonomType >::isEnd (  )  const [inline]

Check, whether end of iteration is reached.

template<class NavigatorType, class MonomType>
bool_type COrderedIter< NavigatorType, MonomType >::isOne (  )  const [inline]

Determine whether term is one (without explicit constructing).

template<class NavigatorType, class MonomType>
bool_type COrderedIter< NavigatorType, MonomType >::isZero (  )  const [inline]

Determine whether term is zero (without explicit constructing).

Referenced by COrderedIter< NavigatorType, BooleExponent >::isEnd().

template<class NavigatorType, class MonomType>
navigator COrderedIter< NavigatorType, MonomType >::navigation (  )  const [inline]

Get navigator of term start.

template<class NavigatorType, class MonomType>
typedef COrderedIter< NavigatorType, MonomType >::PBORI_SHARED_PTR ( iterator_core   ) 
template<class NavigatorType, class MonomType>
const_reverse_iterator COrderedIter< NavigatorType, MonomType >::rbegin (  )  const [inline]
template<class NavigatorType, class MonomType>
const_reverse_iterator COrderedIter< NavigatorType, MonomType >::rend (  )  const [inline]

Member Data Documentation

template<class NavigatorType, class MonomType>
term_generator COrderedIter< NavigatorType, MonomType >::m_getTerm [protected]

The functional which defines the dereferecing operation.

Referenced by COrderedIter< NavigatorType, BooleExponent >::dereference().

template<class NavigatorType, class MonomType>
core_pointer COrderedIter< NavigatorType, MonomType >::p_iter [protected]

The documentation for this class was generated from the following file:
Generated on Tue May 4 08:22:54 2010 for PolyBoRi by  doxygen 1.6.3