polybori::CReverseTermStack< NavigatorType, Category > Class Template 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< NavigatorType, Category >:
polybori::CTermStack< NavigatorType, Category > polybori::CTermStackBase< NavigatorType, internal_tag > polybori::internal_tag

List of all members.

Public Types

typedef NavigatorType navigator
 Get type of navigators.
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

template<class NavigatorType, class Category>
class polybori::CReverseTermStack< NavigatorType, Category >

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


Member Typedef Documentation

template<class NavigatorType , class Category >
typedef CTermStack<NavigatorType, Category> polybori::CReverseTermStack< NavigatorType, Category >::base
template<class NavigatorType , class Category >
typedef NavigatorType polybori::CReverseTermStack< NavigatorType, Category >::navigator

Get type of navigators.

Reimplemented from polybori::CTermStack< NavigatorType, Category >.


Constructor & Destructor Documentation

template<class NavigatorType , class Category >
polybori::CReverseTermStack< NavigatorType, Category >::CReverseTermStack (  )  [inline]

Default constructor.

template<class NavigatorType , class Category >
polybori::CReverseTermStack< NavigatorType, Category >::CReverseTermStack ( navigator  navi  )  [inline]

Construct from initial navigator.

template<class NavigatorType , class Category >
template<class Dummy >
polybori::CReverseTermStack< NavigatorType, Category >::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

template<class NavigatorType , class Category >
void polybori::CReverseTermStack< NavigatorType, Category >::decrement (  )  [inline]
template<class NavigatorType , class Category >
void polybori::CReverseTermStack< NavigatorType, Category >::increment (  )  [inline]
template<class NavigatorType , class Category >
void polybori::CReverseTermStack< NavigatorType, Category >::init (  )  [inline]
template<class NavigatorType , class Category >
void polybori::CReverseTermStack< NavigatorType, Category >::initLast (  )  [inline]

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

Generated by  doxygen 1.6.2