CTermStack.h File Reference

#include <stack>
#include <iterator>
#include <utility>
#include "pbori_defs.h"
#include "pbori_func.h"
#include "pbori_traits.h"
#include "pbori_routines.h"
#include <boost/iterator/indirect_iterator.hpp>
#include "BooleEnv.h"
#include "CDegreeCache.h"
#include "CBidirectTermIter.h"

Go to the source code of this file.

Classes

struct  cached_deg< NavigatorType >
class  cached_block_deg< NavigatorType >
class  CTermStackBase< NavigatorType, BaseType >
class  CTermStack< NavigatorType, Category, BaseType >
 This class defines an iterator for the monomials in a Boolean polynomial. More...
class  CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >
 for pure degree stacks More...
class  CDegStackCore< NavigatorType, valid_tag, Category, BaseType >
 for block stacks More...
class  CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType >
class  CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType >
class  CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType >
class  CBlockTermStack< NavigatorType, DescendingProperty, BaseType >

Defines

#define CTermStack_h_

Detailed Description

Author:
Alexander Dreyer
Date:
2006-04-21
Copyright:
(c) 2007 by The PolyBoRi Team

Define Documentation

#define CTermStack_h_
Generated on Tue May 4 08:39:34 2010 for PolyBoRi by  doxygen 1.6.3