| polybori::AddEliminationDegree< SizeType > | |
| polybori::CCacheTypes::binary_cache_tag | |
| generic_hash_tags::bkdr_tag | |
| polybori::CCacheTypes::block_degree | |
| polybori::block_tag< TagType > | Marker for block orderings |
| polybori::BlockDegLexOrder | This class defines ordering related functions |
| polybori::BlockDegRevLexAscOrder | This class defines ordering related functions |
| polybori::groebner::BlockOrderHelper | |
| polybori::BooleConstant | This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet |
| 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::BooleVariable | This class is just a wrapper for using variables from cudd's decicion diagram |
| polybori::bounded_restricted_term< NaviType, DescendingProperty > | |
| polybori::CAbstractStackBase< NavigatorType > | |
| 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::CAuxTypes | This struct contains auxiliary type definitions |
| polybori::CBlockDegreeCache< DDType > | |
| polybori::CBlockDegreeOrderingTags< OrderTag, DescProp > | |
| polybori::CBoundedDegreeCache< DDType > | |
| 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 |
| CCacheManBase | This template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache |
| polybori::CCacheManBase< ManagerType, CacheType, 0 > | |
| polybori::CCacheManBase< ManagerType, CacheType, 1 > | |
| polybori::CCacheManBase< ManagerType, CacheType, 2 > | |
| polybori::CCacheManBase< ManagerType, CacheType, 3 > | |
| polybori::CCacheTypes | |
| polybori::CCheckedIdx | This class defines CCheckedIdx |
| polybori::CCommutativeCacheManagement< ManagerType, CacheType > | |
| polybori::CCompareEnums | This struct contains type definitions and enumerations to be used for comparisons |
| 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::CCuddFirstIter | This class defines an iterator over the first minimal term of a given ZDD node |
| polybori::CCuddLastIter | This class defines an iterator over the last minimal term of a given ZDD node |
| polybori::CCuddLikeMgrStorage< MgrType > | |
| polybori::CCuddNavigator | This class defines an iterator for navigating through then and else branches of ZDDs |
| polybori::CDegreeArgumentCache< TagType, DDType > | |
| polybori::CDegreeCache< DDType > | |
| polybori::CDegreeOrderingTags< OrderTag, DescProp > | |
| polybori::CDelayedTermIter< TermType, AppendOp, TerminalValueOp, DegIterBase > | This class defines extend a given PolyBoRi degree iterator |
| polybori::CErrorEnums | This struct contains type definitions and enumerations to be used for error codes |
| polybori::CErrorInfo | |
| polybori::CExpGenerator< ExpType > | |
| polybori::CExpIter< NaviType, 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::CGenericOrderedIter< OrderType, NavigatorType, MonomType > | |
| polybori::CGenericOrderedIter< OrderType, NavigatorType, BooleExponent > | |
| polybori::groebner::ChainCriterion | Assumes that divisibility condition is fullfilled |
| polybori::groebner::ChainVariableCriterion | |
| polybori::CIdxPath< IdxType, SeparatorType > | |
| CIdxPath | This template class defines a storage type for monomial indices and customizable "pretty" printing |
| 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::CLiteralCodes | This template class defines enumerative codes for the string literals defined by the CStringLiterals class |
| CMemberFunctionTraits | This template class defines related types for member function pointer |
| polybori::CMemberFunctionTraits< ResultType(Type::*)() const > | |
| polybori::CMemberFunctionTraits< ResultType(Type::*)()> | |
| polybori::CMemberFunctionTraits< ResultType(Type::*)(ArgType) const > | |
| polybori::CMemberFunctionTraits< ResultType(Type::*)(ArgType)> | |
| polybori::CMemberFunctionTraitsBase< Type, ResultType, ArgType, ObjRef > | Axuiliary class |
| polybori::CCacheTypes::contained_deg2 | |
| polybori::CCacheTypes::contained_variables | |
| polybori::COrderedIter< NavigatorType, MonomType > | |
| polybori::COrderEnums | This struct contains type definitions and enumerations to be used for order codes |
| COrderingTags | This tempalte class is base for classes which define ordering tags and properties |
| polybori::COrderingTags< block_dlex_tag > | |
| polybori::COrderingTags< block_dp_asc_tag > | |
| polybori::COrderingTags< dlex_tag > | |
| polybori::COrderingTags< dp_asc_tag > | |
| polybori::COrderingTags< lex_tag > | |
| polybori::COrderingTagsBase< OrderTag, LexProp, DegOrderProp, BlockOrderProp, DescendingProp, OrderedProp, TotelDegOrderProp, SymmetryProp > | |
| polybori::COrderProperties< OrderType > | This class determins ordering dependent properties |
| polybori::count_tags< CCacheTypes::divisorsof_fixedpath > | |
| polybori::count_tags< CCacheTypes::has_factor_x_plus_y > | |
| polybori::count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x > | |
| polybori::count_tags< CCacheTypes::testwise_ternary > | |
| polybori::CPrintOperation< ValueType, LiteralType, StreamType > | This template prints a string literal to stream as operation |
| polybori::CRingCore | |
| polybori::CTermGenerator< TermType > | |
| polybori::CTermGenerator< BooleMonomial > | |
| polybori::CTermGeneratorBase< TermType > | |
| CTermGeneratorBase__ | |
| polybori::CTermGeneratorBase__< TermType, type_tag< BooleExponent > > | |
| polybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > > | |
| polybori::CTermGeneratorBase__< TermType, type_tag< CTypes::deg_type > > | |
| polybori::CTermGeneratorBase__< TermType, type_tag< CTypes::size_type > > | |
| polybori::CTypes | This struct contains type definitions to be used in library classes |
| polybori::cudd_tag_number< Counted, Offset > | |
| polybori::CVariableIter< Iterator, VariableType > | This template class defines an iterator for monomial types |
| polybori::CVariableNames | |
| polybori::CWrappedStack< StackType > | |
| polybori::dd_operations< CCuddNavigator > | |
| polybori::DegLexOrder | This class defines ordering related functions |
| polybori::groebner::DegOrderHelper | |
| polybori::CCacheTypes::degree | |
| polybori::DegRevLexAscOrder | This class defines ordering related functions |
| generic_hash_tags::dek_tag | |
| polybori::CCacheTypes::divide | |
| polybori::CCacheTypes::divisorsof | |
| polybori::CCacheTypes::divisorsof_fixedpath | |
| generic_hash_tags::djb_tag | |
| polybori::dlex_tag | Marker for deg-lex ordering |
| polybori::dp_asc_tag | Marker for ascending deg-rev-lex ordering |
| polybori::dummy_data_type< DummyType > | |
| generic_hash_tags::elf_tag | |
| polybori::EliminationDegreeAdder< ExponentVectorType > | |
| polybori::CCacheTypes::exist_abstract | |
| polybori::groebner::FGLMNoLinearCombinationException | |
| polybori::groebner::FGLMStrategy | |
| polybori::groebner::GBTypes | |
| generic_hash< VectorType, HashType, AlgTag, BitMask > | |
| generic_hash_tags | |
| generic_sequence_hash< Iterator, HashType, AlgTag, BitMask > | |
| polybori::CCacheTypes::graded_part | |
| polybori::handle_else< NavigatorType > | |
| polybori::CCacheTypes::has_factor_x | |
| polybori::CCacheTypes::has_factor_x_plus_one | |
| polybori::CCacheTypes::has_factor_x_plus_y | |
| polybori::groebner::HasTRepOrExtendedProductCriterion | |
| polybori::CCacheTypes::include_divisors | |
| polybori::increment_count_tags< BaseTag > | |
| polybori::CCacheTypes::interpolate | |
| polybori::CCacheTypes::interpolate_smallest_lex | |
| polybori::CCacheTypes::is_rewriteable | |
| polybori::groebner::IsEcart0Predicate | |
| iterator_facade | |
| generic_hash_tags::js_tag | |
| polybori::CCacheTypes::lead_tag< TagType > | |
| polybori::CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x | |
| polybori::lex_compare_predicate< LhsType, RhsType, BinaryPredicate > | Defines lexicographic comparison functor |
| polybori::CCacheTypes::lex_lead | |
| polybori::lex_tag | Marker for lex ordering |
| polybori::groebner::LexBucket | |
| polybori::groebner::LexHelper | |
| polybori::LexOrder | This class defines ordering related functions |
| polybori::groebner::LexOrderGreaterComparer | |
| polybori::groebner::LiteralFactorization | |
| polybori::groebner::LiteralFactorizationIterator | |
| polybori::CCacheTypes::ll_red_nf | |
| polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication > | |
| polybori::groebner::LMLessComparePS | |
| polybori::CCacheTypes::map_every_x_to_x_plus_one | |
| polybori::CCacheTypes::mapping | |
| polybori::CCacheTypes::minimal_elements | |
| polybori::CCacheTypes::minimal_mod | |
| polybori::CCacheTypes::mod_varset | |
| polybori::CCacheTypes::multiplesof | |
| polybori::CCacheTypes::multiply_recursive | |
| polybori::CCacheTypes::no_cache | |
| polybori::CCacheTypes::no_cache_tag | |
| polybori::order_traits< OrderTag > | |
| polybori::order_traits< block_tag< BaseOrderTag > > | |
| polybori::order_traits_code< block_dlex_tag > | |
| polybori::order_traits_code< block_dp_asc_tag > | |
| polybori::order_traits_code< dlex_tag > | |
| polybori::order_traits_code< dp_asc_tag > | |
| polybori::order_traits_code< lex_tag > | |
| polybori::pbori_base< CCacheManBase< BoolePolyRing, CacheType, ArgumentLength > > | |
| polybori::pbori_base< CCacheManBase< boost::intrusive_ptr< CCuddCore >, CacheType, ArgumentLength > > | |
| polybori::pbori_base< CCacheManBase< CCuddInterface, CacheType, ArgumentLength > > | |
| polybori::pbori_base< CExpIter< NaviType, ExpType > > | |
| pbori_hash | For information on hashes, see http://www.partow.net/programming/hashfunctions/ We did not use his implementation, because it is CPLed, but all algorithms used here are prior arts (published before Arash Partow) |
| 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::PBoRiOutIter< DataType, RhsType, BinOp > | This template class defines an output iterator which interprets assignments of indices as a change of given data wrt. a given binary operation |
| generic_hash_tags::pjw_tag | |
| polybori::CCacheTypes::plug_1 | |
| polybori::groebner::PolynomialSugar | |
| polybori::groebner::PSCompareByEl | |
| generic_hash_tags::sdbm_tag | |
| polybori::groebner::SetBitUInt | |
| polybori::groebner::ShorterEliminationLength | |
| polybori::groebner::ShorterEliminationLengthModified | |
| simple_identity | |
| simple_increment | |
| generic_hash_tags::simple_tag | |
| polybori::CCacheTypes::ternary_cache_tag | |
| polybori::CCacheTypes::testwise_ternary | |
| polybori::CCacheTypes::unary_cache_tag | |
| polybori::CCacheTypes::union_xor | |
| polybori::CCacheTypes::used_variables | |
| polybori::groebner::ZeroFunction | |
| polybori::CCacheTypes::zeros | |
