polybori::AddEliminationDegree | |
polybori::and_tag | And_tag<valid_tag, valid_tag> -> valid_tag, otherwise invalid_tag |
polybori::and_tag< valid_tag, valid_tag > | |
polybori::append_indexed_divisor | Defines multiplication (with assignment) with the idx-th variable |
polybori::CCacheTypes::binary_cache_tag | |
polybori::binary_composition | Compose a binary function with two default constructable unary functions |
generic_hash_tags::bkdr_tag | |
polybori::CCacheTypes::block_degree | |
polybori::block_tag | 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::BoolePolyRing | This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and variable names |
polybori::BooleSet | |
polybori::BooleVariable | This class is just a wrapper for using variables from cudd's decicion diagram |
polybori::bounded_restricted_term | |
polybori::CAbstractStackBase | |
polybori::cached_block_deg | |
polybori::cached_deg | |
polybori::groebner::CacheManager | |
polybori::CacheManager | |
polybori::CApplyNodeFacade | 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 | |
polybori::CBlockDegreeOrderingTags | |
polybori::CBlockOrderingFacade | This class implements block orderings for COrderingFacade. OrderType must inherit from COrderingFacade<OrderType> |
polybori::CBlockTermStack | |
polybori::CBoundedDegreeCache | |
polybori::CCacheManagement | 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::CCallbackFacade | Variant for constant non-void member functions |
polybori::CCallbackFacade< Type, void, ArgType > | Specialized variant for constant void member functions |
polybori::CCallbackWrapper | This template class defines a functional, which wraps operator .*, which is the callback of a dynamic member function wrt. a given object |
polybori::CCheckedIdx | This class defines CCheckedIdx |
polybori::CCommutativeCacheManagement | |
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 | 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::CCuddInterface | This class defines a C++ interface to CUDD's decicion diagram manager |
polybori::CCuddLastIter | This class defines an iterator over the last minimal term of a given ZDD node |
polybori::CCuddLikeMgrStorage | |
polybori::CCuddNavigator | This class defines an iterator for navigating through then and else branches of ZDDs |
CDDOperation | Generic class containing decision diagram operations |
polybori::CDDOperations | |
polybori::CDegreeArgumentCache | |
polybori::CDegreeCache | |
polybori::CDegreeOrderingTags | |
polybori::CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType > | |
polybori::CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType > | |
polybori::CDegStackCore< NavigatorType, invalid_tag, Category, BaseType > | For pure degree stacks |
polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType > | For block stacks |
polybori::CDegTermStack | |
polybori::CDelayedTermIter | 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 | |
polybori::CExpIter | |
polybori::CExtrusivePtr | This template class defines a reimplementation of the interface from boost:intrusive_ptr, but with an additional data field |
polybori::CGenericIter | |
polybori::CGenericOrderedIter | |
polybori::CGenericOrderedIter< OrderType, NavigatorType, BooleExponent > | |
polybori::groebner::ChainCriterion | Assumes that divisibility condition is fullfilled |
polybori::groebner::ChainVariableCriterion | |
change | Accessing .change() |
polybori::change_assign | Accessing .changeAssign() |
polybori::change_assign< void, pbori_traits< void >::idx_type > | |
polybori::change_idx | |
CIdxPath | This template class defines a storage type for monomial indices and customizable "pretty" printing |
polybori::CIdxPath | |
CIdxVariable | This template class defines a storage type for one monomial index and customizable "pretty" printing |
polybori::CIdxVariable | |
polybori::CIndexCacheHandle | |
polybori::CIndexHandle | 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 | Axuiliary class |
polybori::CommutativeCacheManager | |
polybori::constant_binder1st | |
polybori::constant_binder2nd | |
polybori::constant_binder_base | |
polybori::CCacheTypes::contained_deg2 | |
polybori::CCacheTypes::contained_variables | |
polybori::COrderedIter | |
polybori::COrderEnums | This struct contains type definitions and enumerations to be used for order codes |
polybori::COrderingBase | |
polybori::COrderingFacade | This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType. OrderType must inherit from COrderingFacade<OrderType> |
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 | |
polybori::COrderProperties | 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 | This template prints a string literal to stream as operation |
polybori::CRestrictedIter | |
polybori::CReverseIter | |
polybori::CReverseTermStack | This class defines an iterator for the monomials in a Boolean polynomial in reversed lexicographicxal order |
polybori::CRingCore | |
polybori::CStackSelector | |
polybori::CStringLiteral | This template class defines string literals corresponding to the codes enumerated in the class CLiteralCodes |
polybori::CTermGenerator | |
polybori::CTermGenerator< BooleMonomial > | |
polybori::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::CTermIter | This class defines an iterator for the monomials in a Boolean polynomial |
polybori::CTermStack | This class defines an iterator for the monomials in a Boolean polynomial |
polybori::CTermStackBase | This class defines an iterator for the monomials in a Boolean polynomial |
polybori::CTypes | This struct contains type definitions to be used in library classes |
polybori::cudd_error_traits | |
polybori::cudd_tag_number | |
polybori::CVariableIter | This template class defines an iterator for monomial types |
polybori::CVariableNames | |
polybori::CWrappedStack | |
polybori::dd_add_assign | Defines addition operation with assignment for decision diagrams |
polybori::dd_operations< CCuddNavigator > | |
polybori::default_binder1st | |
polybori::default_binder2nd | |
polybori::default_binder_base | |
polybori::default_value | |
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 | |
polybori::dummy_iterator | An iterator which virtually does nothing |
easy_equality_property | Defines generic base for properties |
generic_hash_tags::elf_tag | |
polybori::EliminationDegreeAdder | |
polybori::equality_property | |
polybori::CCacheTypes::exist_abstract | |
polybori::groebner::FGLMNoLinearCombinationException | |
polybori::groebner::FGLMStrategy | |
polybori::groebner::GBTypes | |
polybori::generate_index_map | |
generic_hash | |
generic_hash_tags | |
generic_sequence_hash | |
get_base | Declaration, which can be used to define base classes for inheritance of classes in advance |
polybori::get_node | |
polybori::CCacheTypes::graded_part | |
polybori::groebner::GroebnerStrategy | |
polybori::handle_else | |
polybori::CCacheTypes::has_factor_x | |
polybori::CCacheTypes::has_factor_x_plus_one | |
polybori::CCacheTypes::has_factor_x_plus_y | |
polybori::hashes | |
polybori::groebner::HasTRepOrExtendedProductCriterion | |
polybori::groebner::IJPairData | |
polybori::CCacheTypes::include_divisors | |
polybori::increment_count_tags | |
insert | Accessing .insert() |
polybori::insert_assign | Accessing .insertAssign() |
polybori::insert_assign< void, pbori_traits< void >::idx_type > | |
polybori::insert_second_to_list | Insert second argument to a given list |
polybori::inserts | Accessing .insert() |
polybori::inserts< void, pbori_traits< void >::idx_type > | |
polybori::integral_constant | 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::internal_tag | This class marks an internal part of a procedure |
polybori::CCacheTypes::interpolate | |
polybori::CCacheTypes::interpolate_smallest_lex | |
polybori::invalid_tag | This class shows, whether a property of an order is invalid |
invert_tag | Changes valid_tag -> invalid_tag and vice versa |
polybori::invert_tag< invalid_tag > | |
polybori::invert_tag< valid_tag > | |
polybori::CCacheTypes::is_rewriteable | |
polybori::is_same_type | This class tests whether two types equal |
polybori::is_same_type< Type, Type > | |
polybori::is_valid | |
polybori::groebner::IsEcart0Predicate | |
generic_hash_tags::js_tag | |
polybori::groebner::LargerDegreeComparer | |
polybori::CCacheTypes::lead_tag | |
polybori::CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x | |
polybori::groebner::LessCombinedManySizesInStrat | |
polybori::groebner::LessEcartThenLessWeightedLengthInStrat | |
polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat | |
polybori::groebner::LessWeightedLengthInStrat | |
polybori::groebner::LessWeightedLengthInStratModified | |
polybori::lex_compare_predicate | 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 | |
polybori::groebner::LMLessCompare | |
polybori::groebner::LMLessComparePS | |
polybori::manager_traits | |
polybori::CCacheTypes::map_every_x_to_x_plus_one | |
polybori::mapped_new_node | |
polybori::CCacheTypes::mapping | |
polybori::maximum_iteration | Returns maximun of given argument and previous calls |
polybori::CCacheTypes::minimal_elements | |
polybori::CCacheTypes::minimal_mod | |
polybori::CCacheTypes::mod_varset | |
polybori::groebner::MonomialHasher | |
polybori::CCacheTypes::multiplesof | |
polybori::CCacheTypes::multiply_recursive | |
polybori::navigates | |
polybori::navigator_tag | For iterator_category |
polybori::CCacheTypes::no_cache | |
polybori::CCacheTypes::no_cache_tag | |
polybori::on_same_type | This class switches betweem two types, depending on equality of types |
polybori::on_same_type< Type, Type, ThenType, ElseType > | |
polybori::order_traits | |
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::groebner::PairData | |
polybori::groebner::PairE | |
polybori::groebner::PairECompare | |
polybori::groebner::PairLS | |
polybori::groebner::PairLSCompare | |
polybori::groebner::PairManager | |
polybori::groebner::PairStatusSet | |
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 > > | |
polybori::pbori_base< CGenericIter< OrderType, NaviType, RefType > > | |
polybori::pbori_base< CReverseIter< OrderType, NaviType, RefType > > | |
polybori::pbori_binary_traits | This class contains property definitions related to two types to be used in polybori classes |
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 | This class contains property definitions to be used in polybori 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 > | |
polybori::PBoRiError | This class is used for polybori's exception handling |
polybori::PBoRiGenericError | This template class is used for polybori's exception handling |
polybori::PBoRiOutIter | 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::PolyEntry | |
polybori::groebner::PolynomialSugar | |
polybori::groebner::PolyPairData | |
project_ith | Project to the third of all given arguments |
project_ith | Virtually does nothing with the 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 | Accessing .push_back() |
polybori::groebner::ReductionStrategy | |
polybori::remove_assign | Accessing .removeAssign() |
polybori::remove_assign< void, pbori_traits< void >::idx_type > | |
polybori::removes | Accessing .remove() |
polybori::removes< void, pbori_traits< void >::idx_type > | |
reversed_iteration | Interchanges operator++ and operator-- of a given iterator |
polybori::reversed_iteration_adaptor | |
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 | A functional for size comparisons |
polybori::groebner::SlimgbReduction | |
polybori::subset0_assign | Accessing .subset1Assign() |
polybori::subset1_assign | Accessing .subset1Assign() |
polybori::symmetric_composition | Compose a binary function with a default constructable unary function for both arguments |
polybori::CCacheTypes::ternary_cache_tag | |
polybori::CCacheTypes::testwise_ternary | |
polybori::times_indexed_var | Defines multiplication operation with the idx-th variable |
polybori::type_tag | This class marks a given type |
polybori::CCacheTypes::unary_cache_tag | |
polybori::CCacheTypes::union_xor | |
polybori::unite_assign | Accessing .uniteAssign() |
polybori::CCacheTypes::used_variables | |
polybori::valid_tag | This class shows, whether a property of an order is valid |
polybori::variable_name | Defines generic access to variable names |
polybori::groebner::VariablePairData | |
polybori::groebner::ZeroFunction | |
polybori::CCacheTypes::zeros | |