polybori::COrderedIter< IteratorType, MonomType > Class Template Reference

#include <BoolePolynomial.h>

Inheritance diagram for polybori::COrderedIter< IteratorType, MonomType >:

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. More...
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. More...
typedef boost::shared_ptr < iterator_core >	core_pointer
typedef bool	bool_type
	Extract plain Boolean type. More...

Public Member Functions
	COrderedIter (core_pointer rhs, const term_generator &getTerm)
	~COrderedIter ()
bool	equal (const self &rhs) const
void	increment ()
	Incrementation. More...
bool_type	isOne () const
	Determine whether term is one (without explicit constructing) More...
bool_type	isZero () const
	Determine whether term is zero (without explicit constructing) More...
bool_type	isEnd () const
	Check, whether end of iteration is reached. More...
MonomType	dereference () const
	Dereferencing operation. More...
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. More...

Protected Attributes
term_generator	m_getTerm
	The functional which defines the dereferecing operation. More...
core_pointer	p_iter
	A shared pointer to the stack, which carries the current path. More...

Member Typedef Documentation

template<class IteratorType, class MonomType>

typedef bool polybori::COrderedIter< IteratorType, MonomType >::bool_type

Extract plain Boolean type.

template<class IteratorType, class MonomType>

typedef iterator_core::const_iterator polybori::COrderedIter< IteratorType, MonomType >::const_iterator

template<class IteratorType, class MonomType>

typedef iterator_core::const_reverse_iterator polybori::COrderedIter< IteratorType, MonomType >::const_reverse_iterator

template<class IteratorType, class MonomType>

typedef boost::shared_ptr<iterator_core> polybori::COrderedIter< IteratorType, MonomType >::core_pointer

template<class IteratorType, class MonomType>

typedef iterator_core::deg_type polybori::COrderedIter< IteratorType, MonomType >::deg_type

template<class IteratorType, class MonomType>

typedef iterator_core::idx_type polybori::COrderedIter< IteratorType, MonomType >::idx_type

template<class IteratorType, class MonomType>

typedef CTermStackBase<NavigatorType, stack_base> polybori::COrderedIter< IteratorType, MonomType >::iterator_core

template<class IteratorType, class MonomType>

typedef NavigatorType polybori::COrderedIter< IteratorType, MonomType >::navigator

Fix type of direct iterator.

template<class IteratorType, class MonomType>

typedef COrderedIter<NavigatorType, MonomType> polybori::COrderedIter< IteratorType, MonomType >::self

template<class IteratorType, class MonomType>

typedef iterator_core::size_type polybori::COrderedIter< IteratorType, MonomType >::size_type

template<class IteratorType, class MonomType>

typedef CAbstractStackBase<NavigatorType> polybori::COrderedIter< IteratorType, MonomType >::stack_base

template<class IteratorType, class MonomType>

typedef CTermGenerator<MonomType> polybori::COrderedIter< IteratorType, MonomType >::term_generator

Type for functional, which generates actual term, for current path.

Constructor & Destructor Documentation

template<class IteratorType, class MonomType>

polybori::COrderedIter< IteratorType, MonomType >::COrderedIter ( core_pointer  rhs, const term_generator &  getTerm  )

inline

template<class IteratorType, class MonomType>

polybori::COrderedIter< IteratorType, MonomType >::~COrderedIter ( )

inline

Member Function Documentation

template<class IteratorType, class MonomType>

const_iterator polybori::COrderedIter< IteratorType, MonomType >::begin ( ) const

inline

Referenced by polybori::groebner::FGLMStrategy::setupMultiplicationTables().

template<class IteratorType, class MonomType>

deg_type polybori::COrderedIter< IteratorType, MonomType >::deg ( ) const

inline

template<class IteratorType, class MonomType>

MonomType polybori::COrderedIter< IteratorType, MonomType >::dereference ( ) const

inline

Dereferencing operation.

template<class IteratorType, class MonomType>

const_iterator polybori::COrderedIter< IteratorType, MonomType >::end ( ) const

inline

template<class IteratorType, class MonomType>

bool polybori::COrderedIter< IteratorType, MonomType >::equal ( const self &  rhs) const

inline

template<class IteratorType, class MonomType>

idx_type polybori::COrderedIter< IteratorType, MonomType >::firstIndex ( ) const

inline

template<class IteratorType, class MonomType>

void polybori::COrderedIter< IteratorType, MonomType >::increment ( )

inline

Incrementation.

template<class IteratorType, class MonomType>

bool_type polybori::COrderedIter< IteratorType, MonomType >::isEnd ( ) const

inline

Check, whether end of iteration is reached.

template<class IteratorType, class MonomType>

bool_type polybori::COrderedIter< IteratorType, MonomType >::isOne ( ) const

inline

Determine whether term is one (without explicit constructing)

template<class IteratorType, class MonomType>

bool_type polybori::COrderedIter< IteratorType, MonomType >::isZero ( ) const

inline

Determine whether term is zero (without explicit constructing)

template<class IteratorType, class MonomType>

navigator polybori::COrderedIter< IteratorType, MonomType >::navigation ( ) const

inline

Get navigator of term start.

template<class IteratorType, class MonomType>

const_reverse_iterator polybori::COrderedIter< IteratorType, MonomType >::rbegin ( ) const

inline

template<class IteratorType, class MonomType>

const_reverse_iterator polybori::COrderedIter< IteratorType, MonomType >::rend ( ) const

inline

Member Data Documentation

template<class IteratorType, class MonomType>

term_generator polybori::COrderedIter< IteratorType, MonomType >::m_getTerm

protected

The functional which defines the dereferecing operation.

template<class IteratorType, class MonomType>

core_pointer polybori::COrderedIter< IteratorType, MonomType >::p_iter

protected

A shared pointer to the stack, which carries the current path.

---

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

• BoolePolynomial.h
• COrderedIter.h