PolyBoRi
Public Types | Public Member Functions
polybori::CReverseTermStack Class Reference

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

#include <CTermStack.h>

Inheritance diagram for polybori::CReverseTermStack:
polybori::CTermStack< NavigatorType, Category >

List of all members.

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 ()

Detailed Description

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


Member Typedef Documentation

typedef CTermStack<NavigatorType, Category> polybori::CReverseTermStack::base

Constructor & Destructor Documentation

polybori::CReverseTermStack::CReverseTermStack ( ) [inline]

Default constructor.

polybori::CReverseTermStack::CReverseTermStack ( navigator  navi) [inline]

Construct from initial navigator.

template<class Dummy >
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


Member Function Documentation

void polybori::CReverseTermStack::decrement ( ) [inline]
void polybori::CReverseTermStack::increment ( ) [inline]
void polybori::CReverseTermStack::init ( ) [inline]
void polybori::CReverseTermStack::initLast ( ) [inline]

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