 polybori::AddEliminationDegree< SizeType > | |
 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::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 | |
 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 > | |
 generic_hash_tags::bkdr_tag | |
 polybori::block_dlex_tag | Marker for block deg-lex ordering |
 polybori::block_dp_asc_tag | Marker for ascending block deg-rev-lex ordering |
 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::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::groebner::CacheManager | |
 polybori::CAuxTypes | This struct contains auxiliary type definitions |
  polybori::BooleEnv | This class is just a wrapper accessing global structures |
  polybori::BooleRing | This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings |
   polybori::BoolePolyRing | This class adds order-related functionality to BooleRing |
  polybori::CTypes | This struct contains type definitions to be used in library classes |
   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 > | |
 CCacheManBase | This template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache |
 CCacheManBase< CTypes::manager_base, CacheType, ArgumentLength > | |
  polybori::CCacheManagement< CacheType, 2 > | |
   polybori::CCommutativeCacheManagement< CacheType > | |
    polybori::CommutativeCacheManager< CacheType > | |
  polybori::CCacheManagement< CacheType, CacheType::nargs > | |
   polybori::CacheManager< CacheType > | |
  polybori::CCacheManagement< 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< CTypes::manager_base, TagType, ArgumentLength > | |
  polybori::CCacheManagement< TagType, 1 > | |
   polybori::CDegreeCache< TagType, DDType > | |
  polybori::CCacheManagement< TagType, 2 > | |
   polybori::CBlockDegreeCache< TagType, DDType > | |
   polybori::CDegreeArgumentCache< TagType, DDType > | |
 polybori::CCacheManBase< ManagerType, CacheType, 0 > | |
 polybori::CCacheManBase< ManagerType, CacheType, 1 > | |
 polybori::CCacheManBase< ManagerType, CacheType, 2 > | |
 polybori::CCacheManBase< ManagerType, CacheType, 3 > | |
 polybori::CCacheTypes | |
 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::BooleRing | This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings |
  polybori::CTypes | This struct contains type definitions to be used in library classes |
 polybori::CCuddCore | This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers |
 polybori::CCuddDDBase< DiagramType > | This template class defines a C++ interface to CUDD's decision diagram structure |
 polybori::CCuddDDBase< CCuddZDD > | |
  polybori::CCuddZDD | This class defines a C++ interface to CUDD's zero-suppressed decision diagram structure |
 polybori::CCuddFirstIter | This class defines an iterator over the first minimal term of a given ZDD node |
 polybori::CCuddGetNode | This class defines a functional, which generates a new decision * diagram node wrt. a given indes and two nodes |
 polybori::CCuddInterface | This class defines a C++ interface to CUDD's decicion diagram manager |
 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 |
 polybori::CDDInterfaceBase< DDType > | This is the common base for the specialized template class CDDInterface |
 polybori::CDDInterfaceBase< CuddLikeZDD > | |
  polybori::CDDInterface< CuddLikeZDD > | |
   polybori::BooleSet | |
 CDDManager | This specialization of the template class CDDManager gives an interface to Cudd's ZDD manager reference |
 CDDManager | This specialization of the template class CDDManager gives an interface to Cudd's ZDD manager |
 CDDManager | This specialization of the template class CDDManager gives an interface to CCuddInterface's ZDD manager reference |
 CDDManager | This specialization of the template class CDDManager gives an interface to CCuddInterface's ZDD manager |
 polybori::CDDManagerBase< CuddLikeManType, StorageType > | This specialization of the template class CDDManager gives an interface to Cudd-like ZDD manager (StorageType = CuddLikeManType) or a reference of the latter (StorageType = CuddLikeManType&) |
 polybori::CDDManagerBase< CCuddInterface, CCuddInterface > | |
  polybori::CDDManager< CCuddInterface > | |
 polybori::CDDManagerBase< CCuddInterface, const CCuddInterface & > | |
  polybori::CDDManager< CCuddInterface & > | |
 polybori::CDDManagerBase< Cudd, Cudd & > | |
  polybori::CDDManager< Cudd & > | |
 polybori::CDDManagerBase< Cudd, Cudd > | |
  polybori::CDDManager< Cudd > | |
 CDDOperation | Generic class containing decision diagram operations |
 polybori::CDDOperations< DDType, MonomType > | |
 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::CTypes | This struct contains type definitions to be used in library classes |
 polybori::CErrorInfo | |
 polybori::CExpGenerator< ExpType > | |
 polybori::CExpIter< NaviType, ExpType > | |
 polybori::groebner::ChainCriterion | Assumes that divisibility condition is fullfilled |
 polybori::groebner::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 > | |
 changeAssign | Accessing .change(); variante using member templates |
 CIdxPath | This template class defines a storage type for monomial indices and customizable "pretty" printing |
 polybori::CIdxPath< IdxType, SeparatorType > | |
 CIdxVariable | This template class defines a storage type for one monomial index and customizable "pretty" printing |
 polybori::CIdxVariable< IdxType, VarNameLit, VarHeadLit, VarTailLit > | |
 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 |
 polybori::constant_binder_base< BindType, BinaryFunction, ValueType, ConstantOp > | |
 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::BooleRing | This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings |
  polybori::CTypes | This struct contains type definitions to be used in library classes |
 polybori::COrderProperties< OrderType > | This class determins ordering dependent properties |
 polybori::count_tags< CCacheTypes::divisorsof_fixedpath > | |
 polybori::CPrintOperation< ValueType, LiteralType, StreamType > | This template prints a string literal to stream as operation |
 polybori::CRestrictedIter< Iterator, RestrictOp, IsValidTest > | |
 polybori::CStringLiteral< LitCode > | This template class defines string literals corresponding to the codes enumerated in the class CLiteralCodes |
 polybori::CTermGenerator< TermType > | |
 polybori::CTermGenerator< BooleMonomial > | |
 polybori::CTermGeneratorBase< TermType, type_tag< BooleExponent > > | |
 polybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > > | |
 polybori::CTermGeneratorBase< TermType, type_tag< CTypes::size_type > > | |
 polybori::CTermIter< StackType, TermGeneratorType > | This class defines an iterator for the monomials in a Boolean polynomial |
 polybori::cudd_error_traits< ErrorNumber > | |
 polybori::cudd_tag_number< Counted, Offset > | |
 polybori::CVariableIter< Iterator, VariableType > | This template class defines an iterator for monomial types |
 polybori::CVariableNames | |
 polybori::dd_add_assign< DDType > | Defines addition operation with assignment for decision diagrams |
 polybori::dd_operations< CTypes::dd_type::navigator > | |
 polybori::default_binder_base< BindType, BinaryFunction, ValueType > | |
 polybori::default_value< ValueType > | |
 polybori::DegLexOrder | This class defines ordering related functions |
 polybori::groebner::DegOrderHelper | |
 polybori::DegRevLexAscOrder | This class defines ordering related functions |
 generic_hash_tags::dek_tag | |
 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 > | |
 polybori::dummy_iterator | An iterator which virtually does nothing |
 easy_equality_property | Defines generic base for properties |
 generic_hash_tags::elf_tag | |
 polybori::EliminationDegreeAdder< ExponentVectorType > | |
 polybori::equality_property< ValidityTag > | |
 polybori::equality_property< invalid_tag > | |
  polybori::pbori_binary_traits< FirstType, SecondType > | This class contains property definitions related to two types to be used in polybori classes |
  polybori::pbori_traits< std::set< ValueType > > | |
  polybori::pbori_traits< std::vector< ValueType > > | |
 polybori::equality_property< valid_tag > | |
  polybori::pbori_traits< int > | |
  polybori::pbori_traits< long int > | |
  polybori::pbori_traits< unsigned int > | |
  polybori::pbori_traits< void > | |
 polybori::groebner::GBTypes | |
 polybori::generate_index_map< Type > | |
 generic_hash_tags | |
  generic_hash< VectorType, HashType, AlgTag, BitMask > | |
  generic_sequence_hash< Iterator, HashType, AlgTag, BitMask > | |
 polybori::generic_iteration< DegLexOrder, Iterator > | |
 polybori::generic_iteration< DegRevLexAscOrder, Iterator > | |
 polybori::generic_iteration< LexOrder, Iterator > | |
 get_base | Declaration, which can be used to define base classes for inheritance of classes in advance |
 polybori::get_node< DDType > | |
 polybori::groebner::GroebnerStrategy | |
 polybori::handle_else< NavigatorType > | |
 polybori::handle_error< ErrorNumber > | |
 polybori::handle_error< 0 > | |
 polybori::hashes< Type > | |
 polybori::groebner::HasTRepOrExtendedProductCriterion | |
 polybori::increment_count_tags< BaseTag > | |
 polybori::increment_count_tags< CCacheTypes::divisorsof_fixedpath > | |
  polybori::count_tags< CCacheTypes::testwise_ternary > | |
 polybori::increment_count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x > | |
  polybori::count_tags< CCacheTypes::has_factor_x_plus_y > | |
 polybori::increment_count_tags< CCacheTypes::testwise_ternary > | |
  polybori::count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x > | |
 insert | Accessing .insert() |
 polybori::insert_assign< RhsType, LhsType > | Accessing .insertAssign() |
 polybori::insert_assign< void, pbori_traits< void >::idx_type > | |
 polybori::insert_second_to_list< ListType, RhsType, LhsType > | Insert second argument to a given list |
 polybori::inserts< RhsType, LhsType > | Accessing .insert() |
 polybori::inserts< void, pbori_traits< void >::idx_type > | |
 polybori::integral_constant< IntType, INTCONST, ResultType > | Integral_constant<int_type, NUM>()() returns NUM of int_type, instead of possibly arguments. integral_constant<int_type, NUM, other_type>()() returns conversion of NUM of int_type to other_type |
 polybori::integral_constant< CTypes::bool_type, false > | |
  polybori::is_same_type< Type1, Type2 > | This class tests whether two types equal |
 polybori::integral_constant< CTypes::bool_type, true > | |
  polybori::is_same_type< Type, Type > | |
 polybori::internal_tag | This class marks an internal part of a procedure |
 polybori::invalid_tag | This class shows, whether a property of an order is invalid |
 polybori::groebner::IsEcart0Predicate | |
 generic_hash_tags::js_tag | |
 polybori::groebner::LessCombinedManySizesInStrat | |
 polybori::groebner::LessEcartThenLessWeightedLengthInStrat | |
 polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat | |
 polybori::groebner::LessWeightedLengthInStrat | |
 polybori::groebner::LessWeightedLengthInStratModified | |
 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::lm_hashes< Type > | |
 polybori::groebner::LMLessCompare | |
 polybori::groebner::LMLessComparePS | |
 polybori::manager_traits< CuddLike > | |
 polybori::manager_traits< Cudd > | |
  polybori::manager_traits< Cudd * > | |
  polybori::manager_traits< DdManager * > | |
 polybori::mapped_new_node< MapType, VariableType, TermType, NodeType > | |
 polybori::maximum_iteration< ValueType > | Returns maximun of given argument and previous calls |
 polybori::mgrcore_traits< Cudd > | |
 polybori::groebner::MonomialHasher | |
 polybori::navigates< DDType > | |
 polybori::navigator_tag | For iterator_category |
 polybori::CCacheTypes::no_cache_tag | |
  polybori::CCacheTypes::no_cache | |
 polybori::NoData | |
 polybori::on_same_type< Type1, Type2, ThenType, ElseType > | This class switches betweem two types, depending on equality of types |
 polybori::on_same_type< Type, Type, ThenType, ElseType > | |
 polybori::order_traits< OrderType > | |
 polybori::groebner::PairData | |
  polybori::groebner::IJPairData | |
  polybori::groebner::PolyPairData | |
  polybori::groebner::VariablePairData | |
 polybori::groebner::PairE | |
 polybori::groebner::PairECompare | |
 polybori::groebner::PairLS | |
 polybori::groebner::PairLSCompare | |
 polybori::groebner::PairManager | |
 polybori::groebner::PairStatusSet | |
 polybori::pbori_base< CCacheManBase< CCuddInterface, CacheType, ArgumentLength > > | |
 polybori::pbori_base< CCacheManBase< Cudd, CacheType, ArgumentLength > > | |
 polybori::pbori_base< CExpIter< NaviType, ExpType > > | |
 polybori::pbori_binary_traits< OnlyType, OnlyType > | |
 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::pbori_traits< ValueType > | This class contains property definitions to be used in polybori classes |
 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::groebner::PolyEntry | |
 polybori::groebner::PolynomialSugar | |
 project_ith | Virtually does nothing with the given arguments |
 project_ith | Project to the third of all given arguments |
 project_ith | Is the identity functional or projection to first argument |
 project_ith | Project to the second of all given arguments |
 polybori::project_ith< 0, NLEN > | |
 polybori::project_ith< 1, NLEN > | |
 polybori::project_ith< 2, NLEN > | |
 polybori::project_ith< 3, NLEN > | |
 property_owner | Defines generic base for properties |
 polybori::groebner::PSCompareByEl | |
 polybori::push_back< ListType, ValueType > | Accessing .push_back() |
 polybori::remove_assign< RhsType, LhsType > | Accessing .removeAssign() |
 polybori::remove_assign< void, pbori_traits< void >::idx_type > | |
 polybori::removes< RhsType, LhsType > | Accessing .remove() |
 polybori::removes< void, pbori_traits< void >::idx_type > | |
 reversed_iteration | Interchanges operator++ and operator– of a given iterator |
 polybori::reversed_iteration_adaptor< BiIterator > | |
 generic_hash_tags::sdbm_tag | |
 polybori::groebner::SetBitUInt | |
 polybori::groebner::ShorterEliminationLength | |
 polybori::groebner::ShorterEliminationLengthModified | |
 simple_identity | |
 simple_increment | |
 generic_hash_tags::simple_tag | |
 polybori::sizes_less< ListType > | A functional for size comparisons |
 polybori::groebner::SlimgbReduction< variant > | |
 polybori::subset0_assign< RhsType, LhsType > | |
 polybori::subset1_assign< RhsType, LhsType > | Accessing .subset1Assign() |
 polybori::CCacheTypes::ternary_cache_tag | |
  polybori::CCacheTypes::divisorsof_fixedpath | |
  polybori::CCacheTypes::has_factor_x_plus_y | |
  polybori::CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x | |
  polybori::CCacheTypes::testwise_ternary | |
 polybori::times_indexed_var< DDType, IdxType > | Defines multiplication operation with the idx-th variable |
 polybori::type_tag< Type > | This class marks a given type |
 polybori::CCacheTypes::unary_cache_tag | |
  polybori::CCacheTypes::block_dlex_lead | |
  polybori::CCacheTypes::contained_deg2 | |
  polybori::CCacheTypes::contained_variables | |
  polybori::CCacheTypes::degree | |
  polybori::CCacheTypes::dlex_lead | |
  polybori::CCacheTypes::dp_asc_lead | |
  polybori::CCacheTypes::include_divisors | |
  polybori::CCacheTypes::map_every_x_to_x_plus_one | |
  polybori::CCacheTypes::minimal_elements | |
  polybori::CCacheTypes::used_variables | |
 polybori::unite_assign< RhsType, LhsType > | Accessing .uniteAssign() |
 polybori::valid_tag | This class shows, whether a property of an order is valid |
 polybori::variable_name< ManagerType, IdxType, VarNameType > | Defines generic access to variable names |
 polybori::zdd_traits< CCuddZDD > | |
 polybori::zdd_traits< ZDD > | |
 polybori::groebner::ZeroFunction | |