PolyBoRi
Public Types | Public Member Functions | Protected Member Functions | Friends | List of all members
polybori::CTermStackBase< NavigatorType, BaseType > Class Template Reference

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

#include <CTermStack.h>

Inheritance diagram for polybori::CTermStackBase< NavigatorType, BaseType >:
polybori::CTermStack< NavigatorType, Category, BaseType > polybori::CDegStackCore< NavigatorType, invalid_tag, Category, BaseType > polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType >

Public Types

typedef CTermStackBase
< NavigatorType, BaseType > 
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< navigatorstack_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

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...
 
 CTermStackBase ()
 Default constructor. More...
 
 CTermStackBase (navigator navi)
 Construct from initial navigator. More...
 
 CTermStackBase (const CTermStackBase &rhs)
 Copy constructor. 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
 

Protected Member Functions

void push (navigator __x)
 
void clear ()
 
template<class TermStack >
void append (const TermStack &rhs)
 

Friends

template<class , class >
class CTermStackBase
 

Detailed Description

template<class NavigatorType, class BaseType = internal_tag>
class polybori::CTermStackBase< NavigatorType, BaseType >

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

Member Typedef Documentation

template<class NavigatorType, class BaseType = internal_tag>
typedef navigator::bool_type polybori::CTermStackBase< NavigatorType, BaseType >::bool_type
template<class NavigatorType, class BaseType = internal_tag>
typedef boost::indirect_iterator<typename stack_type::const_iterator, typename navigator::value_type, boost::use_default, typename navigator::reference> polybori::CTermStackBase< NavigatorType, BaseType >::const_iterator
template<class NavigatorType, class BaseType = internal_tag>
typedef stack_type::const_reference polybori::CTermStackBase< NavigatorType, BaseType >::const_reference
template<class NavigatorType, class BaseType = internal_tag>
typedef boost::indirect_iterator<typename stack_type::const_reverse_iterator, typename navigator::value_type, boost::use_default, typename navigator::reference> polybori::CTermStackBase< NavigatorType, BaseType >::const_reverse_iterator
template<class NavigatorType, class BaseType = internal_tag>
typedef navigator::deg_type polybori::CTermStackBase< NavigatorType, BaseType >::deg_type
template<class NavigatorType, class BaseType = internal_tag>
typedef navigator::idx_type polybori::CTermStackBase< NavigatorType, BaseType >::idx_type

Type for indices.

template<class NavigatorType, class BaseType = internal_tag>
typedef NavigatorType polybori::CTermStackBase< NavigatorType, BaseType >::navigator

Get type of navigators.

template<class NavigatorType, class BaseType = internal_tag>
typedef stack_type::reference polybori::CTermStackBase< NavigatorType, BaseType >::reference
template<class NavigatorType, class BaseType = internal_tag>
typedef CTermStackBase<NavigatorType, BaseType> polybori::CTermStackBase< NavigatorType, BaseType >::self
template<class NavigatorType, class BaseType = internal_tag>
typedef navigator::size_type polybori::CTermStackBase< NavigatorType, BaseType >::size_type

Type for lengths.

template<class NavigatorType, class BaseType = internal_tag>
typedef stack_type::const_iterator polybori::CTermStackBase< NavigatorType, BaseType >::stack_iterator
template<class NavigatorType, class BaseType = internal_tag>
typedef stack_type::const_reverse_iterator polybori::CTermStackBase< NavigatorType, BaseType >::stack_reverse_iterator
template<class NavigatorType, class BaseType = internal_tag>
typedef std::deque<navigator> polybori::CTermStackBase< NavigatorType, BaseType >::stack_type

Define type for stacking.

template<class NavigatorType, class BaseType = internal_tag>
typedef stack_type::value_type polybori::CTermStackBase< NavigatorType, BaseType >::top_type

result type of top()

Constructor & Destructor Documentation

template<class NavigatorType, class BaseType = internal_tag>
polybori::CTermStackBase< NavigatorType, BaseType >::CTermStackBase ( )
inline

Default constructor.

template<class NavigatorType, class BaseType = internal_tag>
polybori::CTermStackBase< NavigatorType, BaseType >::CTermStackBase ( navigator  navi)
inline

Construct from initial navigator.

template<class NavigatorType, class BaseType = internal_tag>
polybori::CTermStackBase< NavigatorType, BaseType >::CTermStackBase ( const CTermStackBase< NavigatorType, BaseType > &  rhs)
inline

Copy constructor.

Member Function Documentation

template<class NavigatorType, class BaseType = internal_tag>
template<class TermStack >
void polybori::CTermStackBase< NavigatorType, BaseType >::append ( const TermStack &  rhs)
inlineprotected
template<class NavigatorType, class BaseType = internal_tag>
bool polybori::CTermStackBase< NavigatorType, BaseType >::atBegin ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool polybori::CTermStackBase< NavigatorType, BaseType >::atEnd ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool polybori::CTermStackBase< NavigatorType, BaseType >::atEnd ( navigator  navi) const
inline
template<class NavigatorType, class BaseType = internal_tag>
const_iterator polybori::CTermStackBase< NavigatorType, BaseType >::begin ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
void polybori::CTermStackBase< NavigatorType, BaseType >::clear ( )
inlineprotected
template<class NavigatorType, class BaseType = internal_tag>
void polybori::CTermStackBase< NavigatorType, BaseType >::clearOne ( )
inline
template<class NavigatorType, class BaseType = internal_tag>
void polybori::CTermStackBase< NavigatorType, BaseType >::decrementNode ( )
inline
template<class NavigatorType, class BaseType = internal_tag>
deg_type polybori::CTermStackBase< NavigatorType, BaseType >::deg ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool_type polybori::CTermStackBase< NavigatorType, BaseType >::empty ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
const_iterator polybori::CTermStackBase< NavigatorType, BaseType >::end ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool_type polybori::CTermStackBase< NavigatorType, BaseType >::equal ( const self rhs) const
inline

Equality test (assume iterators from same instance)

template<class NavigatorType, class BaseType = internal_tag>
void polybori::CTermStackBase< NavigatorType, BaseType >::followThen ( )
inline
template<class NavigatorType, class BaseType = internal_tag>
void polybori::CTermStackBase< NavigatorType, BaseType >::incrementElse ( )
inline
template<class NavigatorType, class BaseType = internal_tag>
void polybori::CTermStackBase< NavigatorType, BaseType >::incrementThen ( )
inline
template<class NavigatorType, class BaseType = internal_tag>
idx_type polybori::CTermStackBase< NavigatorType, BaseType >::index ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool_type polybori::CTermStackBase< NavigatorType, BaseType >::isConstant ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool_type polybori::CTermStackBase< NavigatorType, BaseType >::isInvalid ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool polybori::CTermStackBase< NavigatorType, BaseType >::isOne ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool_type polybori::CTermStackBase< NavigatorType, BaseType >::isTerminated ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool polybori::CTermStackBase< NavigatorType, BaseType >::isZero ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool_type polybori::CTermStackBase< NavigatorType, BaseType >::markedOne ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
void polybori::CTermStackBase< NavigatorType, BaseType >::markOne ( )
inline
template<class NavigatorType, class BaseType = internal_tag>
navigator polybori::CTermStackBase< NavigatorType, BaseType >::navigation ( ) const
inline

Get navigator of stack start.

template<class NavigatorType, class BaseType = internal_tag>
void polybori::CTermStackBase< NavigatorType, BaseType >::print ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
void polybori::CTermStackBase< NavigatorType, BaseType >::push ( navigator  __x)
inlineprotected
template<class NavigatorType, class BaseType = internal_tag>
const_reverse_iterator polybori::CTermStackBase< NavigatorType, BaseType >::rbegin ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
const_reverse_iterator polybori::CTermStackBase< NavigatorType, BaseType >::rend ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
void polybori::CTermStackBase< NavigatorType, BaseType >::restart ( navigator  navi)
inline
template<class NavigatorType, class BaseType = internal_tag>
size_type polybori::CTermStackBase< NavigatorType, BaseType >::size ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
stack_iterator polybori::CTermStackBase< NavigatorType, BaseType >::stackBegin ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
stack_iterator polybori::CTermStackBase< NavigatorType, BaseType >::stackEnd ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
stack_reverse_iterator polybori::CTermStackBase< NavigatorType, BaseType >::stackRBegin ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
stack_reverse_iterator polybori::CTermStackBase< NavigatorType, BaseType >::stackREnd ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
const_reference polybori::CTermStackBase< NavigatorType, BaseType >::top ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool polybori::CTermStackBase< NavigatorType, BaseType >::validEnd ( ) const
inline
template<class NavigatorType, class BaseType = internal_tag>
bool polybori::CTermStackBase< NavigatorType, BaseType >::validEnd ( navigator  navi) const
inline

Friends And Related Function Documentation

template<class NavigatorType, class BaseType = internal_tag>
template<class , class >
friend class CTermStackBase
friend

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