PolyBoRi
Public Types | Public Member Functions | Protected Attributes
polybori::CTermIter Class Reference

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

#include <CTermIter.h>

List of all members.

Public Types

typedef StackType stack_type
 Define type for storing current path (term) in stack of nodes.
typedef stack_type::navigator navigator
 Get type of navigators.
typedef navigator::idx_type idx_type
 Type for indices.
typedef navigator::bool_type bool_type
 Type for Boolean results.
typedef navigator::size_type size_type
 Type for lengths.
typedef navigator::deg_type deg_type
 Type for degrees.
typedef TermGeneratorType term_generator
 Type for functional, which generates actual term, for current path.
Iterators over current term (without explicite construction)
typedef stack_type::const_iterator const_iterator
typedef
stack_type::const_reverse_iterator 
const_reverse_iterator

Public Member Functions

 CTermIter (const CTermIter &rhs)
 Copy constructor.
template<class MgrType >
 CTermIter (navigator navi, const MgrType &mgr)
 Construct from navigator over decision diagram.
 CTermIter ()
 Default constructor.
 ~CTermIter ()
 Destructor.
void increment ()
 Incrementation operation.
void decrement ()
 Decrementation operation.
bool_type equal (const CTermIter &rhs) const
 Equality test.
term_generator::result_type dereference () const
 Dereferencing of the iterator.
bool_type isOne () const
 Determine whether term is one (without explicit constructing)
bool_type isZero () const
 Determine whether term is zero (without explicit constructing)
bool_type isEnd () const
 Check, whether end of iteration is reached.
deg_type deg () const
 Get degree of current term.
idx_type firstIndex () const
 Get first index of current term.
navigator navigation () const
 Get navigator of term start.
Interface for iteration over term without constructing
const_iterator begin () const
const_iterator end () const
const_reverse_iterator rbegin () const
const_reverse_iterator rend () const

Protected Attributes

term_generator m_getTerm
 The functional which defines the dereferecing operation.
stack_type m_stack
 The stack, which carries the current path.

Detailed Description

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


Member Typedef Documentation

typedef navigator::bool_type polybori::CTermIter::bool_type

Type for Boolean results.

typedef stack_type::const_iterator polybori::CTermIter::const_iterator
typedef stack_type::const_reverse_iterator polybori::CTermIter::const_reverse_iterator
typedef navigator::deg_type polybori::CTermIter::deg_type

Type for degrees.

typedef navigator::idx_type polybori::CTermIter::idx_type

Type for indices.

typedef stack_type::navigator polybori::CTermIter::navigator

Get type of navigators.

typedef navigator::size_type polybori::CTermIter::size_type

Type for lengths.

Define type for storing current path (term) in stack of nodes.

typedef TermGeneratorType polybori::CTermIter::term_generator

Type for functional, which generates actual term, for current path.


Constructor & Destructor Documentation

polybori::CTermIter::CTermIter ( const CTermIter rhs) [inline]

Copy constructor.

template<class MgrType >
polybori::CTermIter::CTermIter ( navigator  navi,
const MgrType &  mgr 
) [inline]

Construct from navigator over decision diagram.

polybori::CTermIter::CTermIter ( ) [inline]

Default constructor.

polybori::CTermIter::~CTermIter ( ) [inline]

Destructor.


Member Function Documentation

const_iterator polybori::CTermIter::begin ( ) const [inline]
void polybori::CTermIter::decrement ( ) [inline]

Decrementation operation.

deg_type polybori::CTermIter::deg ( ) const [inline]

Get degree of current term.

term_generator::result_type polybori::CTermIter::dereference ( ) const [inline]

Dereferencing of the iterator.

const_iterator polybori::CTermIter::end ( ) const [inline]
bool_type polybori::CTermIter::equal ( const CTermIter rhs) const [inline]

Equality test.

idx_type polybori::CTermIter::firstIndex ( ) const [inline]

Get first index of current term.

void polybori::CTermIter::increment ( ) [inline]

Incrementation operation.

bool_type polybori::CTermIter::isEnd ( ) const [inline]

Check, whether end of iteration is reached.

bool_type polybori::CTermIter::isOne ( ) const [inline]

Determine whether term is one (without explicit constructing)

bool_type polybori::CTermIter::isZero ( ) const [inline]

Determine whether term is zero (without explicit constructing)

navigator polybori::CTermIter::navigation ( ) const [inline]

Get navigator of term start.

const_reverse_iterator polybori::CTermIter::rbegin ( ) const [inline]
const_reverse_iterator polybori::CTermIter::rend ( ) const [inline]

Member Data Documentation

The functional which defines the dereferecing operation.

The stack, which carries the current path.


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