PolyBoRi
|
This class defines an iterator for the monomials in a Boolean polynomial. More...
#include <CTermStack.h>
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< navigator > | stack_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 |
This class defines an iterator for the monomials in a Boolean polynomial.
typedef navigator::bool_type polybori::CTermStackBase< NavigatorType, BaseType >::bool_type |
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 |
typedef stack_type::const_reference polybori::CTermStackBase< NavigatorType, BaseType >::const_reference |
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 |
typedef navigator::deg_type polybori::CTermStackBase< NavigatorType, BaseType >::deg_type |
typedef navigator::idx_type polybori::CTermStackBase< NavigatorType, BaseType >::idx_type |
Type for indices.
typedef NavigatorType polybori::CTermStackBase< NavigatorType, BaseType >::navigator |
Get type of navigators.
typedef stack_type::reference polybori::CTermStackBase< NavigatorType, BaseType >::reference |
typedef CTermStackBase<NavigatorType, BaseType> polybori::CTermStackBase< NavigatorType, BaseType >::self |
typedef navigator::size_type polybori::CTermStackBase< NavigatorType, BaseType >::size_type |
Type for lengths.
typedef stack_type::const_iterator polybori::CTermStackBase< NavigatorType, BaseType >::stack_iterator |
typedef stack_type::const_reverse_iterator polybori::CTermStackBase< NavigatorType, BaseType >::stack_reverse_iterator |
typedef std::deque<navigator> polybori::CTermStackBase< NavigatorType, BaseType >::stack_type |
Define type for stacking.
typedef stack_type::value_type polybori::CTermStackBase< NavigatorType, BaseType >::top_type |
result type of top()
|
inline |
Default constructor.
|
inline |
Construct from initial navigator.
|
inline |
Copy constructor.
|
inlineprotected |
|
inline |
|
inline |
|
inline |
|
inline |
|
inlineprotected |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Equality test (assume iterators from same instance)
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Get navigator of stack start.
|
inline |
|
inlineprotected |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
friend |