PolyBoRi
|
This class defines an iterator for the monomials in a Boolean polynomial in reversed lexicographicxal order. More...
#include <CTermStack.h>
Public Types | |
typedef NavigatorType | navigator |
typedef CTermStack < NavigatorType, Category > | base |
Public Member Functions | |
CReverseTermStack () | |
Default constructor. | |
CReverseTermStack (navigator navi) | |
Construct from initial navigator. | |
template<class Dummy > | |
CReverseTermStack (navigator navi, const Dummy &) | |
void | init () |
void | initLast () |
void | increment () |
void | decrement () |
This class defines an iterator for the monomials in a Boolean polynomial in reversed lexicographicxal order.
typedef CTermStack<NavigatorType, Category> polybori::CReverseTermStack::base |
Reimplemented from polybori::CTermStack< NavigatorType, Category >.
typedef NavigatorType polybori::CReverseTermStack::navigator |
Reimplemented from polybori::CTermStack< NavigatorType, Category >.
polybori::CReverseTermStack::CReverseTermStack | ( | ) | [inline] |
Default constructor.
polybori::CReverseTermStack::CReverseTermStack | ( | navigator | navi | ) | [inline] |
Construct from initial navigator.
polybori::CReverseTermStack::CReverseTermStack | ( | 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::CReverseTermStack::decrement | ( | ) | [inline] |
Reimplemented from polybori::CTermStack< NavigatorType, Category >.
void polybori::CReverseTermStack::increment | ( | ) | [inline] |
Reimplemented from polybori::CTermStack< NavigatorType, Category >.
void polybori::CReverseTermStack::init | ( | ) | [inline] |
Reimplemented from polybori::CTermStack< NavigatorType, Category >.
void polybori::CReverseTermStack::initLast | ( | ) | [inline] |
Reimplemented from polybori::CTermStack< NavigatorType, Category >.