PolyBoRi
|
This class defines an iterator for the monomials in a Boolean polynomial. More...
#include <CTermStack.h>
Public Types | |
typedef CTermStackBase < NavigatorType, BaseType > | base |
typedef CTermStack < NavigatorType, Category, BaseType > | self |
typedef CTermStack < NavigatorType, Category, internal_tag > | purestack_type |
Defining a type for simple stacking of term elements. | |
typedef Category | iterator_category |
typedef base::navigator | navigator |
Get type of navigators. | |
typedef on_same_type< Category, std::forward_iterator_tag, project_ith< 0 >, handle_else < NavigatorType > >::type | else_handler |
Public Member Functions | |
CTermStack () | |
Default constructor. | |
CTermStack (navigator navi) | |
Construct from initial navigator. | |
template<class Dummy > | |
CTermStack (navigator navi, const Dummy &) | |
void | init () |
void | initLast () |
void | incrementElse () |
void | next () |
void | previous () |
void | increment () |
void | decrement () |
void | terminate () |
void | followElse () |
void | incrementValidElse () |
Public Attributes | |
else_handler | handleElse |
Protected Member Functions | |
template<class TermStack > | |
void | append (const TermStack &rhs) |
This class defines an iterator for the monomials in a Boolean polynomial.
typedef CTermStackBase<NavigatorType, BaseType> polybori::CTermStack::base |
typedef on_same_type<Category, std::forward_iterator_tag, project_ith<0>, handle_else<NavigatorType> >::type polybori::CTermStack::else_handler |
typedef Category polybori::CTermStack::iterator_category |
Get type of navigators.
Reimplemented from polybori::CTermStackBase< NavigatorType, BaseType >.
Reimplemented in polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType >, polybori::CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >, and polybori::CReverseTermStack.
typedef CTermStack<NavigatorType, Category, internal_tag> polybori::CTermStack::purestack_type |
Defining a type for simple stacking of term elements.
typedef CTermStack<NavigatorType, Category, BaseType> polybori::CTermStack::self |
Reimplemented from polybori::CTermStackBase< NavigatorType, BaseType >.
polybori::CTermStack::CTermStack | ( | ) | [inline] |
Default constructor.
polybori::CTermStack::CTermStack | ( | navigator | navi | ) | [inline] |
Construct from initial navigator.
polybori::CTermStack::CTermStack | ( | navigator | navi, |
const Dummy & | |||
) | [inline] |
Construct from initial navigator, second argument is just for having the same interface with block and degree-stacks
void polybori::CTermStack::append | ( | const TermStack & | rhs | ) | [inline, protected] |
Reimplemented from polybori::CTermStackBase< NavigatorType, BaseType >.
void polybori::CTermStack::decrement | ( | ) | [inline] |
Reimplemented in polybori::CReverseTermStack.
void polybori::CTermStack::followElse | ( | ) | [inline] |
void polybori::CTermStack::increment | ( | ) | [inline] |
Reimplemented in polybori::CReverseTermStack.
void polybori::CTermStack::incrementElse | ( | ) | [inline] |
Reimplemented from polybori::CTermStackBase< NavigatorType, BaseType >.
void polybori::CTermStack::incrementValidElse | ( | ) | [inline] |
void polybori::CTermStack::init | ( | ) | [inline] |
Reimplemented in polybori::CReverseTermStack.
void polybori::CTermStack::initLast | ( | ) | [inline] |
Reimplemented in polybori::CReverseTermStack.
void polybori::CTermStack::next | ( | ) | [inline] |
Reimplemented in polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType >.
void polybori::CTermStack::previous | ( | ) | [inline] |
Reimplemented in polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType >.
void polybori::CTermStack::terminate | ( | ) | [inline] |