#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 | polybori::cached_deg< NavigatorType > |
class | polybori::cached_block_deg< NavigatorType > |
class | polybori::CTermStackBase< NavigatorType, BaseType > |
This class defines an iterator for the monomials in a Boolean polynomial. More... | |
class | polybori::CTermStack< NavigatorType, Category, BaseType > |
This class defines an iterator for the monomials in a Boolean polynomial. More... | |
class | polybori::CDegStackCore< NavigatorType, invalid_tag, Category, BaseType > |
for pure degree stacks More... | |
class | polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType > |
for block stacks More... | |
class | polybori::CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType > |
class | polybori::CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType > |
class | polybori::CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType > |
class | polybori::CBlockTermStack< NavigatorType, DescendingProperty, BaseType > |
Namespaces | |
namespace | polybori |