  polybori::and_tag< Tag1, Tag2 > | And_tag<valid_tag, valid_tag> -> valid_tag, otherwise invalid_tag |
| polybori::and_tag< valid_tag, valid_tag > | |
| polybori::append_indexed_divisor< DDType, IdxType > | Defines multiplication (with assignment) with the idx-th variable |
 polybori::CCacheTypes::binary_cache_tag | |
 polybori::CCacheTypes::block_degree | |
| polybori::CCacheTypes::divide | |
| polybori::CCacheTypes::divisorsof | |
| polybori::CCacheTypes::exist_abstract | |
| polybori::CCacheTypes::graded_part | |
| polybori::CCacheTypes::has_factor_x | |
| polybori::CCacheTypes::has_factor_x_plus_one | |
| polybori::CCacheTypes::interpolate | |
| polybori::CCacheTypes::interpolate_smallest_lex | |
| polybori::CCacheTypes::is_rewriteable | |
| polybori::CCacheTypes::lead_tag< TagType > | |
| polybori::CCacheTypes::ll_red_nf | |
| polybori::CCacheTypes::mapping | |
| polybori::CCacheTypes::minimal_mod | |
| polybori::CCacheTypes::mod_varset | |
| polybori::CCacheTypes::multiplesof | |
| polybori::CCacheTypes::multiply_recursive | |
| polybori::CCacheTypes::plug_1 | |
| polybori::CCacheTypes::union_xor | |
 polybori::CCacheTypes::zeros | |
| binary_function | |
| polybori::AddEliminationDegree< SizeType > | |
| polybori::insert_assign< RhsType, LhsType > | Accessing .insertAssign() |
| polybori::inserts< RhsType, LhsType > | Accessing .insert() |
| polybori::lex_compare_predicate< LhsType, RhsType, BinaryPredicate > | Defines lexicographic comparison functor |
| polybori::remove_assign< RhsType, LhsType > | Accessing .removeAssign() |
| polybori::removes< RhsType, LhsType > | Accessing .remove() |
| polybori::sizes_less< ListType > | A functional for size comparisons |
| polybori::unite_assign< RhsType, LhsType > | Accessing .uniteAssign() |
| BinaryOp | |
| polybori::binary_composition< BinaryOp, UnaryOperation, UnaryOperation > | |
| polybori::symmetric_composition< BinaryOp, UnaryOperation > | Compose a binary function with a default constructable unary function for both arguments |
| polybori::binary_composition< BinaryOp, FirstOp, SecondOp > | Compose a binary function with two default constructable unary functions |
| binder1st | |
| polybori::constant_binder_base< std::binder1st, BinaryFunction, BinaryFunction::first_argument_type, ConstantOp > | |
| polybori::constant_binder1st< BinaryFunction, ConstantOp > | |
 polybori::default_binder_base< std::binder1st, BinaryFunction, BinaryFunction::first_argument_type > | |
 polybori::default_binder1st< BinaryFunction > | |
| binder2nd | |
| polybori::constant_binder_base< std::binder2nd, BinaryFunction, BinaryFunction::second_argument_type, ConstantOp > | |
| polybori::constant_binder2nd< BinaryFunction, ConstantOp > | |
| polybori::default_binder_base< std::binder2nd, BinaryFunction, BinaryFunction::second_argument_type > | |
| polybori::default_binder2nd< BinaryFunction > | |
| BindType | |
| polybori::constant_binder_base< BindType, BinaryFunction, ValueType, ConstantOp > | |
| polybori::default_binder_base< BindType, BinaryFunction, ValueType > | |
| polybori::groebner::BitMask< NBits > | This class defines a bit mask and related operations |
| polybori::groebner::BitMask< 0 > | |
| polybori::groebner::BitMask< sizeof(unsigned long)*4 > | |
| polybori::groebner::PseudoLongProduct | This class defines a delayed product of longs and comparison with LongLong Constant |
| polybori::groebner::BitMask< sizeof(unsigned long)*8 > | |
| polybori::block_tag< TagType > | Marker for block orderings |
| polybori::groebner::BlockOrderHelper | This class defines BlockOrderHelper |
| polybori::BooleSetSequence | This class converts a BooleSet to a sequence-like structure |
| polybori::bounded_restricted_term< NaviType, DescendingProperty > | |
| polybori::CAbstractStackBase< NavigatorType > | |
| polybori::cached_block_deg< NavigatorType > | |
| polybori::cached_block_deg< navigator > | |
| polybori::cached_deg< NavigatorType > | |
| polybori::cached_deg< navigator > | |
| polybori::groebner::CacheManager | |
| polybori::CApplyNodeFacade< DiagramType, NodePtr > | This template class defines a facade as a C++ interface for applying C-style functions to C-style structs, which represent decision diagrams. It is used to wrapp functions calls to raw pointers of the nodes and the context to an C++-style object |
| polybori::CApplyNodeFacade< BooleSet, DdNode * > | |
| polybori::CCuddDDFacade< BoolePolyRing, BooleSet > | |
| polybori::BooleSet | |
| polybori::groebner::LLReductor | This class defines LLReductor |
| polybori::groebner::MinimalLeadingTerms | This class defines MinimalLeadingTerms |
| polybori::groebner::TermsFacade< NewType > | This class defines TermsFacade |
| polybori::groebner::TermsFacade< LeadingTerms > | |
| polybori::groebner::LeadingTerms | This class defines LeadingTerms |
| polybori::groebner::TermsFacade< LeadingTerms00 > | |
| polybori::groebner::LeadingTerms00 | This class defines LeadingTerms00 |
| polybori::groebner::TermsFacade< LeadingTerms11 > | |
| polybori::groebner::LeadingTerms11 | This class defines LeadingTerms11 |
| polybori::groebner::TermsFacade< MonomialPlusOneTerms > | |
| polybori::groebner::MonomialPlusOneTerms | This class defines MonomialPlusOneTerms |
| polybori::groebner::TermsFacade< MonomialTerms > | |
| polybori::groebner::MonomialTerms | This class defines MonomialTerms |
| polybori::CApplyNodeFacade< DiagramType, DdNode * > | |
| polybori::CCuddDDFacade< RingType, DiagramType > | This template class defines a facade for decision diagrams |
| polybori::CAuxTypes | This struct contains auxiliary type definitions |
| polybori::CCuddDDFacade< BoolePolyRing, BooleSet > | |
| polybori::BooleEnv | This class is just a wrapper accessing global structures |
| polybori::BooleExponent | This class is just a wrapper for using variables for storing indices as interim data structure for BooleMonomial |
| polybori::BooleMonomial | This class is just a wrapper for using variables from cudd's decicion diagram |
| polybori::BoolePolynomial | This class wraps the underlying decicion diagram type and defines the necessary operations |
| polybori::BoolePolyRing | This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and variable names |
| polybori::BooleVariable | This class is just a wrapper for using variables from cudd's decicion diagram |
| polybori::CCheckedIdx | This class defines CCheckedIdx |
| polybori::CCuddCore | This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers |
| polybori::CCuddDDFacade< RingType, DiagramType > | This template class defines a facade for decision diagrams |
| polybori::CCuddInterface | This class defines a C++ interface to CUDD's decicion diagram manager |
| polybori::CDegreeArgumentCache< TagType, DDType > | |
| polybori::COrderingBase | |
| polybori::COrderingFacade< BlockDegLexOrder, block_dlex_tag > | |
| polybori::CBlockOrderingFacade< BlockDegLexOrder, block_dlex_tag > | |
| polybori::BlockDegLexOrder | This class defines ordering related functions |
| polybori::COrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag > | |
| polybori::CBlockOrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag > | |
| polybori::BlockDegRevLexAscOrder | This class defines ordering related functions |
| polybori::COrderingFacade< DegLexOrder, dlex_tag > | |
| polybori::DegLexOrder | This class defines ordering related functions |
| polybori::COrderingFacade< DegRevLexAscOrder, dp_asc_tag > | |
| polybori::DegRevLexAscOrder | This class defines ordering related functions |
| polybori::COrderingFacade< LexOrder, lex_tag > | |
| polybori::LexOrder | This class defines ordering related functions |
| polybori::COrderingFacade< OrderType, OrderTag > | This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType. OrderType must inherit from COrderingFacade<OrderType> |
| polybori::CBlockOrderingFacade< OrderType, OrderTag > | This class implements block orderings for COrderingFacade. OrderType must inherit from COrderingFacade<OrderType> |
| polybori::CTypes | This struct contains type definitions to be used in library classes |
| polybori::BooleConstant | This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet |
| polybori::pbori_traits< dummy_iterator > | |
| polybori::pbori_traits< int > | |
| polybori::pbori_traits< long int > | |
| polybori::pbori_traits< std::set< ValueType > > | |
| polybori::pbori_traits< std::vector< ValueType > > | |
| polybori::pbori_traits< unsigned int > | |
| polybori::pbori_traits< void > | |
| polybori::PBoRiError | This class is used for polybori's exception handling |
| polybori::PBoRiGenericError< ErrorCode > | This template class is used for polybori's exception handling |
| polybori::dd_operations< CCuddNavigator > | |
| polybori::CCacheManBase< ManagerType, CacheType, ArgumentLength > | This template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache |
| polybori::CCacheManagement< ManagerType, CacheType, 2 > | |
| polybori::CCommutativeCacheManagement< ManagerType, CacheType > | |
| polybori::CCacheManagement< ManagerType, CacheType, ArgumentLength > | This template class forms the base for CCommutativeCacheManagement and CacheManager. It is an interface defining find and insert on decision diagram cache |
| polybori::CCacheManBase< BoolePolyRing, CacheType, ArgumentLength > | |
| polybori::CCacheManagement< BoolePolyRing, CacheType, 2 > | |
| polybori::CCommutativeCacheManagement< BoolePolyRing, CacheType > | |
| polybori::CommutativeCacheManager< CacheType > | |
| polybori::CCacheManagement< BoolePolyRing, CacheType, CacheType::nargs > | |
| polybori::CacheManager< CacheType > | |
| polybori::CCacheManBase< BoolePolyRing, CCacheTypes::block_degree, ArgumentLength > | |
| polybori::CCacheManagement< BoolePolyRing, CCacheTypes::block_degree, 2 > | |
| polybori::CBlockDegreeCache< BooleEnv::dd_type > | |
| polybori::CBlockDegreeCache< DDType > | |
| polybori::CCacheManBase< BoolePolyRing, CCacheTypes::degree, ArgumentLength > | |
| polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 1 > | |
| polybori::CDegreeCache< BooleSet > | |
| polybori::CDegreeCache< DDType > | |
| polybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 2 > | |
| polybori::CBoundedDegreeCache< DDType > | |
| polybori::CCacheManBase< BoolePolyRing, CCacheTypes::ll_red_nf, ArgumentLength > | |
| polybori::CCacheManagement< BoolePolyRing, CCacheTypes::ll_red_nf, CCacheTypes::ll_red_nf::nargs > | |
| polybori::CacheManager< CCacheTypes::ll_red_nf > | |
| polybori::CCacheManBase< BoolePolyRing, TagType, ArgumentLength > | |
| polybori::CCacheManagement< BoolePolyRing, TagType, 2 > | |
| polybori::CDegreeArgumentCache< TagType, DDType > | |
| polybori::CCacheTypes | |
| polybori::CCallbackFacade< Type, ResultType, ArgType > | Variant for constant non-void member functions |
| polybori::CCallbackFacade< CCallbackWrapper< MemberFuncPtr >, CMemberFunctionTraits< MemberFuncPtr >::result_type, CMemberFunctionTraits< MemberFuncPtr >::argument_type > | |
| polybori::CCallbackWrapper< MemberFuncPtr > | This template class defines a functional, which wraps operator .*, which is the callback of a dynamic member function wrt. a given object |
| polybori::CCallbackFacade< Type, void, ArgType > | Specialized variant for constant void member functions |
| polybori::CCompareEnums | This struct contains type definitions and enumerations to be used for comparisons |
| polybori::BooleEnv | This class is just a wrapper accessing global structures |
| polybori::BoolePolyRing | This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and variable names |
| polybori::CTypes | This struct contains type definitions to be used in library classes |
| polybori::CCuddLikeMgrStorage< MgrType > | |
| polybori::CCuddNavigator | This class defines an iterator for navigating through then and else branches of ZDDs |
| polybori::CCuddLastIter | This class defines an iterator over the last minimal term of a given ZDD node |
| CDDOperation | Generic class containing decision diagram operations |
| polybori::CDDOperations< DDType, MonomType > | |
| polybori::CDegStackBase< NavigatorType, BlockProperty, DescendingProperty, BaseType > | |
| polybori::CDegStackBase< NavigatorType, DescendingProperty, BlockProperty, BaseType > | |
| polybori::CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType > | |
| polybori::CDegStackBase< NavigatorType, DescendingProperty, valid_tag, BaseType > | |
| polybori::CDegTermStack< NavigatorType, DescendingProperty, valid_tag, BaseType > | |
| polybori::CBlockTermStack< NavigatorType, DescendingProperty, BaseType > | |
| polybori::CDegStackCore< NavigatorType, BlockProperty, Category, BaseType > | |
| polybori::CDegStackCore< NavigatorType, BlockProperty, std::bidirectional_iterator_tag, BaseType > | |
| polybori::CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType > | |
| polybori::CDegStackCore< NavigatorType, BlockProperty, std::forward_iterator_tag, BaseType > | |
| polybori::CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType > | |
| polybori::CDelayedTermIter< class, class, class, class > | |
| polybori::CErrorEnums | This struct contains type definitions and enumerations to be used for error codes |
| polybori::CTypes | This struct contains type definitions to be used in library classes |
| polybori::CErrorInfo | |
| polybori::CExpGenerator< ExpType > | |
| polybori::CExtrusivePtr< DataType, ValueType > | This template class defines a reimplementation of the interface from boost:intrusive_ptr, but with an additional data field |
| polybori::CExtrusivePtr< ring_type, node_type > | |
| polybori::CFactoryBase | This base class CFactoryBase is used for currying other constructors with a BoolePolyRing |
| polybori::groebner::ExpGreater | This class defines ExpGreater |
| polybori::groebner::PairECompare | This class defines PairECompare |
| polybori::MonomialFactory | This base class MonomialFactory is used for currying monomial constructors with a BoolePolyRing |
| polybori::PolynomialFactory | This base class PolynomialFactory is used for currying polynomial constructors with a BoolePolyRing |
| polybori::SetFactory | This base class SetFactory is used for currying set constructors with a BoolePolyRing |
| polybori::VariableFactory | This base class VariableFactory is used for currying variable constructors with a BoolePolyRing |
| polybori::VariableBlock | This class defines a VariableBlock |
| polybori::groebner::ChainCriterion | This class defines ChainCriterion |
| polybori::groebner::ChainVariableCriterion | This class defines ChainVariableCriterion |
| change | Accessing .change() |
| polybori::change_assign< RhsType, LhsType > | Accessing .changeAssign() |
| polybori::change_assign< void, pbori_traits< void >::idx_type > | |
| polybori::change_idx< RhsType, LhsType > | |
| polybori::groebner::CheckChainCriterion< StrategyType > | This class defines CheckChainCriterion |
| polybori::CIndexCacheHandle< NaviType > | |
| polybori::CIndexHandle< NaviType > | This class defines an uses an navigator-like type for storing integer values from 0 upto nmax (number of currently active ring variables) |
| polybori::CIndirectIter< IteratorType, MonomType > | |
| polybori::CLiteralCodes | This template class defines enumerative codes for the string literals defined by the CStringLiterals class |
| polybori::CMemberFunctionTraits< MemberFuncPtr > | This template class defines related types for member function pointer |
| polybori::CMemberFunctionTraitsBase< Type, ResultType, ArgType, ObjRef > | Axuiliary class |
| polybori::CMemberFunctionTraitsBase< Type, ResultType, ArgType, const Type & > | |
| polybori::CMemberFunctionTraits< ResultType(Type::*)(ArgType) const > | |
| polybori::CMemberFunctionTraitsBase< Type, ResultType, ArgType, Type & > | |
| polybori::CMemberFunctionTraits< ResultType(Type::*)(ArgType)> | |
| polybori::CMemberFunctionTraitsBase< Type, ResultType, void, const Type & > | |
| polybori::CMemberFunctionTraits< ResultType(Type::*)() const > | |
| polybori::CMemberFunctionTraitsBase< Type, ResultType, void, Type & > | |
| polybori::CMemberFunctionTraits< ResultType(Type::*)()> | |
| polybori::CNodeCounter< NaviType > | This class defines CNodeCounter |
| polybori::COrderEnums | This struct contains type definitions and enumerations to be used for order codes |
| polybori::BooleEnv | This class is just a wrapper accessing global structures |
| polybori::BoolePolyRing | This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and variable names |
| polybori::CCuddCore | This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers |
| polybori::CTypes | This struct contains type definitions to be used in library classes |
| polybori::COrderingTags< OrderTag > | This tempalte class is base for classes which define ordering tags and properties |
| polybori::COrderingFacade< OrderType, OrderTag > | This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType. OrderType must inherit from COrderingFacade<OrderType> |