CTermStack< NavigatorType, Category, BaseType > Class Template Reference

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

#include <CTermStack.h>

Inheritance diagram for CTermStack< NavigatorType, Category, BaseType >:

List of all members.

Public Types
typedef CTermStackBase < NavigatorType, BaseType >	base
typedef CTermStack < NavigatorType, Category, BaseType >	self
typedef CTermStack < NavigatorType, Category, internal_tag >	purestack_type
	Defining a type for simple stacking of term elements.
typedef Category	iterator_category
typedef base::navigator	navigator
	Get type of navigators.
typedef on_same_type< Category, std::forward_iterator_tag, project_ith< 0 >, handle_else < NavigatorType > >::type	else_handler
Public Member Functions
	CTermStack ()
	Default constructor.
	CTermStack (navigator navi)
	Construct from initial navigator.
template<class Dummy >
	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 Attributes
else_handler	handleElse
Protected Member Functions
template<class TermStack >
void	append (const TermStack &rhs)

---

Detailed Description

template<class NavigatorType, class Category, class BaseType = internal_tag>
class CTermStack< NavigatorType, Category, BaseType >

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

---

Member Typedef Documentation

template<class NavigatorType , class Category , class BaseType = internal_tag>

typedef CTermStackBase<NavigatorType, BaseType> CTermStack< NavigatorType, Category, BaseType >::base

Reimplemented in CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >, and CDegStackCore< NavigatorType, valid_tag, Category, BaseType >.

template<class NavigatorType , class Category , class BaseType = internal_tag>

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

template<class NavigatorType , class Category , class BaseType = internal_tag>

typedef Category CTermStack< NavigatorType, Category, BaseType >::iterator_category

template<class NavigatorType , class Category , class BaseType = internal_tag>

typedef base::navigator CTermStack< NavigatorType, Category, BaseType >::navigator

Get type of navigators.

Reimplemented from CTermStackBase< NavigatorType, BaseType >.

Reimplemented in CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >, and CDegStackCore< NavigatorType, valid_tag, Category, BaseType >.

template<class NavigatorType , class Category , class BaseType = internal_tag>

typedef CTermStack<NavigatorType, Category, internal_tag> CTermStack< NavigatorType, Category, BaseType >::purestack_type

Defining a type for simple stacking of term elements.

template<class NavigatorType , class Category , class BaseType = internal_tag>

typedef CTermStack<NavigatorType, Category, BaseType> CTermStack< NavigatorType, Category, BaseType >::self

Reimplemented from CTermStackBase< NavigatorType, BaseType >.

---

Constructor & Destructor Documentation

template<class NavigatorType , class Category , class BaseType = internal_tag>

CTermStack< NavigatorType, Category, BaseType >::CTermStack

(

)

[inline]

Default constructor.

template<class NavigatorType , class Category , class BaseType = internal_tag>

CTermStack< NavigatorType, Category, BaseType >::CTermStack

(

navigator

navi

)

[inline]

Construct from initial navigator.

template<class NavigatorType , class Category , class BaseType = internal_tag>

template<class Dummy >

CTermStack< NavigatorType, Category, BaseType >::CTermStack	(	navigator	navi,
		const Dummy &
	)			[inline]

Construct from initial navigator, second argument is just for having the same interface with block and degree-stacks

---

Member Function Documentation

template<class NavigatorType , class Category , class BaseType = internal_tag>

template<class TermStack >

void CTermStack< NavigatorType, Category, BaseType >::append

(

const TermStack &

rhs

)

[inline, protected]

Reimplemented from CTermStackBase< NavigatorType, BaseType >.

References CTermStackBase< NavigatorType, BaseType >::append().

template<class NavigatorType , class Category , class BaseType = internal_tag>

void CTermStack< NavigatorType, Category, BaseType >::decrement

(

)

[inline]

References CTermStackBase< NavigatorType, BaseType >::clearOne(), CTermStackBase< NavigatorType, BaseType >::decrementNode(), CTermStack< NavigatorType, Category, BaseType >::followElse(), CTermStackBase< NavigatorType, BaseType >::markedOne(), and CTermStack< NavigatorType, Category, BaseType >::previous().

template<class NavigatorType , class Category , class BaseType = internal_tag>

void CTermStack< NavigatorType, Category, BaseType >::followElse

(

)

[inline]

References CTermStack< NavigatorType, Category, BaseType >::incrementValidElse(), and CTermStackBase< NavigatorType, BaseType >::isConstant().

Referenced by CTermStack< NavigatorType, Category, BaseType >::decrement(), and CTermStack< NavigatorType, Category, BaseType >::initLast().

template<class NavigatorType , class Category , class BaseType = internal_tag>

void CTermStack< NavigatorType, Category, BaseType >::increment

(

)

[inline]

References CTermStackBase< NavigatorType, BaseType >::clearOne(), CTermStackBase< NavigatorType, BaseType >::empty(), CTermStackBase< NavigatorType, BaseType >::followThen(), CTermStackBase< NavigatorType, BaseType >::markedOne(), CTermStack< NavigatorType, Category, BaseType >::next(), and CTermStack< NavigatorType, Category, BaseType >::terminate().

template<class NavigatorType , class Category , class BaseType = internal_tag>

void CTermStack< NavigatorType, Category, BaseType >::incrementElse

(

)

[inline]

Reimplemented from CTermStackBase< NavigatorType, BaseType >.

References CTermStackBase< NavigatorType, BaseType >::empty(), CTermStack< NavigatorType, Category, BaseType >::handleElse, CTermStackBase< NavigatorType, BaseType >::incrementElse(), and CTermStackBase< NavigatorType, BaseType >::top().

Referenced by CTermStack< NavigatorType, Category, BaseType >::incrementValidElse(), and CTermStack< NavigatorType, Category, BaseType >::next().

template<class NavigatorType , class Category , class BaseType = internal_tag>

void CTermStack< NavigatorType, Category, BaseType >::incrementValidElse

(

)

[inline]

References CTermStackBase< NavigatorType, BaseType >::empty(), CTermStack< NavigatorType, Category, BaseType >::incrementElse(), CTermStackBase< NavigatorType, BaseType >::incrementThen(), CTermStackBase< NavigatorType, BaseType >::isConstant(), and CTermStackBase< NavigatorType, BaseType >::top().

Referenced by CTermStack< NavigatorType, Category, BaseType >::followElse().

template<class NavigatorType , class Category , class BaseType = internal_tag>

void CTermStack< NavigatorType, Category, BaseType >::init

(

)

[inline]

References CTermStackBase< NavigatorType, BaseType >::followThen(), and CTermStack< NavigatorType, Category, BaseType >::terminate().

template<class NavigatorType , class Category , class BaseType = internal_tag>

void CTermStack< NavigatorType, Category, BaseType >::initLast

(

)

[inline]

References CTermStack< NavigatorType, Category, BaseType >::followElse(), and CTermStack< NavigatorType, Category, BaseType >::terminate().

template<class NavigatorType , class Category , class BaseType = internal_tag>

void CTermStack< NavigatorType, Category, BaseType >::next

(

)

[inline]

Reimplemented in CDegStackCore< NavigatorType, valid_tag, Category, BaseType >.

References CTermStackBase< NavigatorType, BaseType >::decrementNode(), CTermStackBase< NavigatorType, BaseType >::empty(), CTermStack< NavigatorType, Category, BaseType >::incrementElse(), and CTermStackBase< NavigatorType, BaseType >::isInvalid().

Referenced by CTermStack< NavigatorType, Category, BaseType >::increment().

template<class NavigatorType , class Category , class BaseType = internal_tag>

void CTermStack< NavigatorType, Category, BaseType >::previous

(

)

[inline]

Reimplemented in CDegStackCore< NavigatorType, valid_tag, Category, BaseType >.

Referenced by CTermStack< NavigatorType, Category, BaseType >::decrement().

template<class NavigatorType , class Category , class BaseType = internal_tag>

void CTermStack< NavigatorType, Category, BaseType >::terminate

(

)

[inline]

References CTermStackBase< NavigatorType, BaseType >::decrementNode(), CTermStackBase< NavigatorType, BaseType >::empty(), CTermStackBase< NavigatorType, BaseType >::isInvalid(), CTermStackBase< NavigatorType, BaseType >::isZero(), and CTermStackBase< NavigatorType, BaseType >::markOne().

Referenced by CTermStack< NavigatorType, Category, BaseType >::increment(), CTermStack< NavigatorType, Category, BaseType >::init(), and CTermStack< NavigatorType, Category, BaseType >::initLast().

---

Member Data Documentation

template<class NavigatorType , class Category , class BaseType = internal_tag>

else_handler CTermStack< NavigatorType, Category, BaseType >::handleElse

Referenced by CTermStack< NavigatorType, Category, BaseType >::incrementElse().

---

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

• CTermStack.h