polybori::CReverseTermStack< NavigatorType, Category > Class Template Reference

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 >:

List of all members.

Public Types
typedef NavigatorType	navigator
	Get type of navigators.
typedef CTermStack < NavigatorType, Category >	base
Public Member Functions
	CReverseTermStack ()
	Default constructor.
	CReverseTermStack (navigator navi)
	Construct from initial navigator.
	CReverseTermStack (const CReverseTermStack &rhs)
	Copy constructor.
template<class Dummy>
	CReverseTermStack (navigator navi, const Dummy &)
void	init ()
void	initLast ()
void	increment ()
void	decrement ()

---

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.

---

Member Typedef Documentation

template<class NavigatorType, class Category>

typedef NavigatorType polybori::CReverseTermStack< NavigatorType, Category >::navigator

Get type of navigators.

Reimplemented from polybori::CTermStack< NavigatorType, Category >.

template<class NavigatorType, class Category>

typedef CTermStack<NavigatorType, Category> polybori::CReverseTermStack< NavigatorType, Category >::base

Reimplemented from polybori::CTermStack< NavigatorType, Category >.

---

Constructor & Destructor Documentation

template<class NavigatorType, class Category>

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

(

)

[inline]

Default constructor.

template<class NavigatorType, class Category>

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

(

navigator

navi

)

[inline]

Construct from initial navigator.

template<class NavigatorType, class Category>

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

(

const CReverseTermStack< NavigatorType, Category > &

rhs

)

[inline]

Copy constructor.

template<class NavigatorType, class Category>

template<class Dummy>

polybori::CReverseTermStack< NavigatorType, Category >::CReverseTermStack	(	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>

void polybori::CReverseTermStack< NavigatorType, Category >::init

(

)

[inline]

Reimplemented from polybori::CTermStack< NavigatorType, Category >.

template<class NavigatorType, class Category>

void polybori::CReverseTermStack< NavigatorType, Category >::initLast

(

)

[inline]

Reimplemented from polybori::CTermStack< NavigatorType, Category >.

template<class NavigatorType, class Category>

void polybori::CReverseTermStack< NavigatorType, Category >::increment

(

)

[inline]

Reimplemented from polybori::CTermStack< NavigatorType, Category >.

template<class NavigatorType, class Category>

void polybori::CReverseTermStack< NavigatorType, Category >::decrement

(

)

[inline]

Reimplemented from polybori::CTermStack< NavigatorType, Category >.

---

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

• CTermStack.h