This class defines an iterator for the monomials in a Boolean polynomial in reversed lexicographicxal order. More...

#include <CTermStack.h>

Inheritance diagram for polybori::CReverseTermStack< NavigatorType, Category >:

Public Types
typedef NavigatorType	navigator

typedef CTermStack< NavigatorType, Category >	base

Public Types inherited from polybori::CTermStack< NavigatorType, Category >
typedef CTermStackBase< NavigatorType, internal_tag >	base

typedef CTermStack< NavigatorType, Category, internal_tag >	self

typedef CTermStack< NavigatorType, Category, internal_tag >	purestack_type
	Defining a type for simple stacking of term elements. More...

typedef Category	iterator_category

typedef base::navigator	navigator

typedef on_same_type< Category, std::forward_iterator_tag, project_ith< 0 >, handle_else< NavigatorType > >::type	else_handler

Public Types inherited from polybori::CTermStackBase< NavigatorType, internal_tag >
typedef CTermStackBase< NavigatorType, internal_tag >	self

typedef NavigatorType	navigator
	Get type of navigators. More...

typedef navigator::idx_type	idx_type
	Type for indices. More...

typedef navigator::size_type	size_type
	Type for lengths. More...

typedef navigator::deg_type	deg_type

typedef navigator::bool_type	bool_type

typedef std::deque< navigator >	stack_type
	Define type for stacking. More...

typedef stack_type::reference	reference

typedef stack_type::const_reference	const_reference

typedef boost::indirect_iterator< typename stack_type::const_iterator, typename navigator::value_type, boost::use_default, typename navigator::reference >	const_iterator

typedef stack_type::const_iterator	stack_iterator

typedef stack_type::const_reverse_iterator	stack_reverse_iterator

typedef boost::indirect_iterator< typename stack_type::const_reverse_iterator, typename navigator::value_type, boost::use_default, typename navigator::reference >	const_reverse_iterator

typedef stack_type::value_type	top_type
	result type of top() More...

Public Member Functions
	CReverseTermStack ()
	Default constructor. More...

	CReverseTermStack (navigator navi)
	Construct from initial navigator. More...

	CReverseTermStack (const CReverseTermStack &rhs)
	Copy constructor. More...

template<class Dummy >
	CReverseTermStack (navigator navi, const Dummy &)

void	init ()

void	initLast ()

void	increment ()

void	decrement ()

Public Member Functions inherited from polybori::CTermStack< NavigatorType, Category >
	CTermStack ()
	Default constructor. More...

	CTermStack (navigator navi)
	Construct from initial navigator. More...

	CTermStack (const CTermStack &rhs)
	Copy constructor. More...

	CTermStack (navigator navi, const Dummy &)

void	init ()

void	initLast ()

void	incrementElse ()

void	next ()

void	previous ()

void	increment ()

void	decrement ()

void	terminate ()

void	followElse ()

void	incrementValidElse ()

Public Member Functions inherited from polybori::CTermStackBase< NavigatorType, internal_tag >
	CTermStackBase ()
	Default constructor. More...

	CTermStackBase (navigator navi)
	Construct from initial navigator. More...

	CTermStackBase (const CTermStackBase &rhs)
	Copy constructor. More...

bool_type	empty () const

const_reference	top () const

idx_type	index () const

size_type	size () const

const_iterator	begin () const

const_iterator	end () const

const_reverse_iterator	rbegin () const

const_reverse_iterator	rend () const

navigator	navigation () const
	Get navigator of stack start. More...

bool_type	equal (const self &rhs) const
	Equality test (assume iterators from same instance) More...

void	incrementThen ()

void	incrementElse ()

void	decrementNode ()

bool_type	isConstant () const

bool_type	isTerminated () const

bool_type	isInvalid () const

void	followThen ()

void	markOne ()

bool_type	markedOne () const

void	clearOne ()

deg_type	deg () const

void	restart (navigator navi)

bool	isOne () const

bool	isZero () const

bool	atBegin () const

bool	atEnd () const

bool	atEnd (navigator navi) const

bool	validEnd () const

bool	validEnd (navigator navi) const

void	print () const

stack_iterator	stackBegin () const

stack_iterator	stackEnd () const

stack_reverse_iterator	stackRBegin () const

stack_reverse_iterator	stackREnd () const

Additional Inherited Members
Public Attributes inherited from polybori::CTermStack< NavigatorType, Category >
else_handler	handleElse

Protected Member Functions inherited from polybori::CTermStack< NavigatorType, Category >
void	append (const TermStack &rhs)

Protected Member Functions inherited from polybori::CTermStackBase< NavigatorType, internal_tag >
void	push (navigator __x)

void	clear ()

void	append (const TermStack &rhs)

Detailed Description

template<class NavigatorType, class Category>
class polybori::CReverseTermStack< NavigatorType, Category >

This class defines an iterator for the monomials in a Boolean polynomial in reversed lexicographicxal order.