PolyBoRi
|
This class defines an iterator for the monomials in a Boolean polynomial. More...
#include <CTermIter.h>
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. |
This class defines an iterator for the monomials in a Boolean polynomial.
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.
typedef StackType polybori::CTermIter::stack_type |
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.
polybori::CTermIter::CTermIter | ( | const CTermIter & | rhs | ) | [inline] |
Copy constructor.
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.
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] |
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] |
term_generator polybori::CTermIter::m_getTerm [protected] |
The functional which defines the dereferecing operation.
stack_type polybori::CTermIter::m_stack [protected] |
The stack, which carries the current path.