polybori::CTermStackBase Class Reference

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

#include <CTermStack.h>

List of all members.

Public Types
typedef CTermStackBase < NavigatorType, BaseType >	self
typedef NavigatorType	navigator
	Get type of navigators.
typedef navigator::idx_type	idx_type
	Type for indices.
typedef navigator::size_type	size_type
	Type for lengths.
typedef navigator::deg_type	deg_type
typedef navigator::bool_type	bool_type
typedef std::deque< navigator >	stack_type
	Define type for stacking.
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()
Public Member Functions
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.
	CTermStackBase ()
	Default constructor.
	CTermStackBase (navigator navi)
	Construct from initial navigator.
bool_type	equal (const self &rhs) const
	default Copy Constructor
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	invalidate ()
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
Protected Member Functions
void	push (navigator __x)
void	clear ()
template<class TermStack >
void	append (const TermStack &rhs)
Friends
class	CTermStackBase

---

Detailed Description

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

---

Member Typedef Documentation

typedef navigator::bool_type polybori::CTermStackBase::bool_type

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

typedef stack_type::const_reference polybori::CTermStackBase::const_reference

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

typedef navigator::deg_type polybori::CTermStackBase::deg_type

typedef navigator::idx_type polybori::CTermStackBase::idx_type

Type for indices.

typedef NavigatorType polybori::CTermStackBase::navigator

Get type of navigators.

Reimplemented in polybori::CTermStack.

typedef stack_type::reference polybori::CTermStackBase::reference

typedef CTermStackBase<NavigatorType, BaseType> polybori::CTermStackBase::self

Reimplemented in polybori::CTermStack.

typedef navigator::size_type polybori::CTermStackBase::size_type

Type for lengths.

typedef stack_type::const_iterator polybori::CTermStackBase::stack_iterator

typedef stack_type::const_reverse_iterator polybori::CTermStackBase::stack_reverse_iterator

typedef std::deque<navigator> polybori::CTermStackBase::stack_type

Define type for stacking.

typedef stack_type::value_type polybori::CTermStackBase::top_type

result type of top()

---

Constructor & Destructor Documentation

polybori::CTermStackBase::CTermStackBase

(

)

[inline]

Default constructor.

polybori::CTermStackBase::CTermStackBase

(

navigator

navi

)

[inline]

Construct from initial navigator.

---

Member Function Documentation

template<class TermStack >

void polybori::CTermStackBase::append

(

const TermStack &

rhs

)

[inline, protected]

Reimplemented in polybori::CTermStack.

bool polybori::CTermStackBase::atBegin

(

)

const [inline]

bool polybori::CTermStackBase::atEnd

(

)

const [inline]

Referenced by polybori::CTermStackBase< NavigatorType, BaseType >::atEnd().

bool polybori::CTermStackBase::atEnd

(

navigator

navi

)

const [inline]

const_iterator polybori::CTermStackBase::begin

(

)

const [inline]

void polybori::CTermStackBase::clear

(

)

[inline, protected]

void polybori::CTermStackBase::clearOne

(

)

[inline]

void polybori::CTermStackBase::decrementNode

(

)

[inline]

deg_type polybori::CTermStackBase::deg

(

)

const [inline]

bool_type polybori::CTermStackBase::empty

(

)

const [inline]

const_iterator polybori::CTermStackBase::end

(

)

const [inline]

bool_type polybori::CTermStackBase::equal

(

const self &

rhs

)

const [inline]

default Copy Constructor

Equality test (assume iterators from same instance)

void polybori::CTermStackBase::followThen

(

)

[inline]

void polybori::CTermStackBase::incrementElse

(

)

[inline]

Reimplemented in polybori::CTermStack.

void polybori::CTermStackBase::incrementThen

(

)

[inline]

idx_type polybori::CTermStackBase::index

(

)

const [inline]

void polybori::CTermStackBase::invalidate

(

)

[inline]

bool_type polybori::CTermStackBase::isConstant

(

)

const [inline]

bool_type polybori::CTermStackBase::isInvalid

(

)

const [inline]

bool polybori::CTermStackBase::isOne

(

)

const [inline]

bool_type polybori::CTermStackBase::isTerminated

(

)

const [inline]

bool polybori::CTermStackBase::isZero

(

)

const [inline]

bool_type polybori::CTermStackBase::markedOne

(

)

const [inline]

void polybori::CTermStackBase::markOne

(

)

[inline]

navigator polybori::CTermStackBase::navigation

(

)

const [inline]

Get navigator of stack start.

void polybori::CTermStackBase::print

(

)

const [inline]

void polybori::CTermStackBase::push

(

navigator

__x

)

[inline, protected]

const_reverse_iterator polybori::CTermStackBase::rbegin

(

)

const [inline]

const_reverse_iterator polybori::CTermStackBase::rend

(

)

const [inline]

void polybori::CTermStackBase::restart

(

navigator

navi

)

[inline]

size_type polybori::CTermStackBase::size

(

)

const [inline]

stack_iterator polybori::CTermStackBase::stackBegin

(

)

const [inline]

stack_iterator polybori::CTermStackBase::stackEnd

(

)

const [inline]

stack_reverse_iterator polybori::CTermStackBase::stackRBegin

(

)

const [inline]

stack_reverse_iterator polybori::CTermStackBase::stackREnd

(

)

const [inline]

const_reference polybori::CTermStackBase::top

(

)

const [inline]

bool polybori::CTermStackBase::validEnd

(

)

const [inline]

Referenced by polybori::CTermStackBase< NavigatorType, BaseType >::validEnd().

bool polybori::CTermStackBase::validEnd

(

navigator

navi

)

const [inline]

---

Friends And Related Function Documentation

friend class CTermStackBase [friend]

---

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

• CTermStack.h