Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:

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>
polybori::COrderingTagsBase< OrderTag, LexProp, DegOrderProp, BlockOrderProp, DescendingProp, OrderedProp, TotelDegOrderProp, SymmetryProp > |
polybori::COrderingTagsBase< block_dlex_tag, invalid_tag, invalid_tag, valid_tag, valid_tag > |
polybori::CBlockDegreeOrderingTags< block_dlex_tag, valid_tag > |
polybori::COrderingTags< block_dlex_tag > |
polybori::COrderingFacade< BlockDegLexOrder, block_dlex_tag > |
polybori::COrderingTagsBase< block_dp_asc_tag, invalid_tag, invalid_tag, valid_tag, invalid_tag > |
polybori::CBlockDegreeOrderingTags< block_dp_asc_tag, invalid_tag > |
polybori::COrderingTags< block_dp_asc_tag > |
polybori::COrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag > |
polybori::COrderingTagsBase< dlex_tag, invalid_tag, valid_tag, invalid_tag, valid_tag > |
polybori::CDegreeOrderingTags< dlex_tag, valid_tag > |
polybori::COrderingTags< dlex_tag > |
polybori::COrderingFacade< DegLexOrder, dlex_tag > |
polybori::COrderingTagsBase< dp_asc_tag, invalid_tag, valid_tag, invalid_tag, invalid_tag > |
polybori::CDegreeOrderingTags< dp_asc_tag, invalid_tag > |
polybori::COrderingTags< dp_asc_tag > |
polybori::COrderingFacade< DegRevLexAscOrder, dp_asc_tag > |
polybori::COrderingTagsBase< lex_tag, valid_tag, invalid_tag, invalid_tag, valid_tag > |
polybori::COrderingTags< lex_tag > |
polybori::COrderingFacade< LexOrder, lex_tag > |
polybori::COrderingTagsBase< OrderTag, invalid_tag, invalid_tag, valid_tag, DescProp > |
polybori::CBlockDegreeOrderingTags< OrderTag, DescProp > |
polybori::COrderingTagsBase< OrderTag, invalid_tag, valid_tag, invalid_tag, DescProp > |
polybori::CDegreeOrderingTags< OrderTag, DescProp > |
polybori::count_tags< TagType > |
polybori::count_tags< CCacheTypes::divisorsof_fixedpath > |
polybori::groebner::CountCriterion | This class defines CountCriterion
polybori::CStackSelector< OrderType, NaviType, BaseType > |
polybori::CStringLiteral< LitCode > | This template class defines string literals corresponding to the codes enumerated in the class CLiteralCodes
polybori::CTermGeneratorBase__< TermType, BehaviourTag > |
polybori::CTermGeneratorBase__< BooleExponent, type_tag< BooleExponent > > |
polybori::CTermGeneratorBase< BooleExponent > |
polybori::CTermGenerator< BooleExponent > |
polybori::CTermGeneratorBase__< BooleMonomial, type_tag< BooleMonomial > > |
polybori::CTermGenerator< BooleMonomial > |
polybori::CTermGeneratorBase__< MonomType, type_tag< MonomType > > |
polybori::CTermGeneratorBase< MonomType > |
polybori::CTermGenerator< MonomType > |
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::CTermGeneratorBase__< TermType, type_tag< TermType > > |
polybori::CTermGeneratorBase< TermType > |
polybori::CTermGenerator< TermType > |
polybori::cudd_error_traits< ErrorNumber > |
polybori::cudd_tag_number< Counted, Offset > |
polybori::CVariableNames |
polybori::CWeakPtr< ValueType > | Forward declaration of friend
polybori::CWeakPtr< polybori::BoolePolyRing::core_type > |
polybori::CWeakPtrFacade< ValueType > | This class defines CWeakPtrFacade
polybori::CWeakPtrFacade< CCuddCore > |
polybori::CCuddCore | This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers
polybori::dd_add_assign< DDType > | Defines addition operation with assignment for decision diagrams
polybori::dd_operations< DDType > |
polybori::default_value< ValueType > |
polybori::groebner::DegOrderHelper | This class defines DegOrderHelper
deque |
polybori::handle_else< NavigatorType > |
polybori::DerefProxy< Type > |
dict |
polybori::dict |
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
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 > |
exception |
polybori::groebner::FGLMNoLinearCombinationException |
polybori::PBoRiError | This class is used for polybori's exception handling
polybori::groebner::ExpLexLess | This class defines ExpLexLess
polybori::groebner::FGLMStrategy |
polybori::groebner::GBTypes |
polybori::generate_index_map< Type > |
polybori::generic_iteration< OrderType, Iterator > |
get_base | Declaration, which can be used to define base classes for inheritance of classes in advance
polybori::get_node< DDType > |
polybori::groebner::GetNthPoly |
polybori::groebner::GroebnerOptions | This class defines options settings for `GroebnerStrategy`
polybori::groebner::GroebnerStrategy | This class defines GroebnerStrategy
polybori::hashes< Type > |
polybori::groebner::HasTRepOrExtendedProductCriterion | This class defines 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< void, pbori_traits< void >::idx_type > |
polybori::insert_second_to_list< ListType, RhsType, LhsType > | Insert second argument to a given list
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< bool, false > |
polybori::integral_constant< bool, true > |
polybori::integral_constant< CTypes::bool_type, false > |
polybori::is_same_type< descending_property, polybori::valid_tag > |
polybori::is_same_type< Type, valid_tag > |
polybori::is_valid< Type > |
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::CTermStackBase< NavigatorType, internal_tag > |
polybori::CTermStack< NavigatorType, Category > |
polybori::CReverseTermStack< NavigatorType, Category > | This class defines an iterator for the monomials in a Boolean polynomial in reversed lexicographicxal order
polybori::Interpreter |
polybori::invalid_tag | This class shows, whether a property of an order is invalid
polybori::invert_tag< Tag > | Changes valid_tag -> invalid_tag and vice versa
polybori::invert_tag< invalid_tag > |
polybori::invert_tag< valid_tag > |
polybori::groebner::IsEcart0Predicate | This class defines IsEcart0Predicate
polybori::groebner::IsVariableOfIndex |
iterator_facade |
polybori::COrderedIter< NavigatorType, BooleExponent > |
polybori::CGenericOrderedIter< OrderType, NavigatorType, BooleExponent > |
polybori::CCuddFirstIter | This class defines an iterator over the first minimal term of a given ZDD node
polybori::COrderedIter< NavigatorType, MonomType > |
polybori::CGenericOrderedIter< OrderType, NavigatorType, MonomType > |
polybori::CTermIter< StackType, TermGeneratorType > | This class defines an iterator for the monomials in a Boolean polynomial
polybori::CVariableIter< Iterator, VariableType > | This template class defines an iterator for monomial types
polybori::TransformedIterator< IteratorType, OperatorType > | This class defines the iterator of Trnasformed sequence
polybori::groebner::LargerDegreeComparer | This class defines LargerDegreeComparer
polybori::groebner::LessCombinedManySizesInStrat | This class defines LessCombinedManySizesInStrat
polybori::groebner::LessEcartThenLessWeightedLengthInStrat | This class defines LessEcartThenLessWeightedLengthInStrat
polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat | This class defines LessUsedTailVariablesThenLessWeightedLengthInStrat
polybori::groebner::LessWeightedLengthInStrat | This class defines LessWeightedLengthInStrat
polybori::groebner::LessWeightedLengthInStratModified | This class defines LessWeightedLengthInStratModified
polybori::lex_tag | Marker for lex ordering
polybori::groebner::LexBucket |
polybori::groebner::LexHelper | This class defines LexHelper
polybori::groebner::LexOrderGreaterComparer | This class defines LexOrderGreaterComparer
polybori::groebner::LiteralFactorization |
polybori::groebner::LiteralFactorizationIterator | This class defines LiteralFactorizationIterator
polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication > | This class defines LLReduction
polybori::groebner::LMLessCompare | This class defines LMLessCompare
polybori::groebner::LMLessComparePS | This class defines LMLessComparePS
polybori::groebner::Long64From32BitsPairBase< High, Low, SizeOfLong > | This class defines an auxiliary class for `Long64From32BitsPair`
polybori::groebner::Long64From32BitsPairBase< High, Low, 4 > |
polybori::groebner::Long64From32BitsPairBase< High, Low, 8 > |
polybori::groebner::Long64From32BitsPairBase< High, Low, sizeof(unsigned long)> |
polybori::groebner::Long64From32BitsPair< High, Low > | This class defines Long64From32BitsPair
polybori::manager_traits< CuddLike > |
polybori::mapped_new_node< MapType, VariableType, TermType, NodeType > |
polybori::groebner::MatrixMonomialOrderTables | This class defines MatrixMonomialOrderTables
polybori::maximum_iteration< ValueType > | Returns maximun of given argument and previous calls
polybori::MemberFunctionOperator< MemberFct > |
polybori::groebner::MonomialHasher | This class defines MonomialHasher
polybori::navigator_tag | For iterator_category
polybori::groebner::NBitsUsed< NValue > | This class defines `NBitsUsed` whose value attribute computes the actual number of used bits at compile time
polybori::groebner::NBitsUsed< 0 > |
polybori::groebner::NextSpoly | This class computes the next spoly for a generator pair
polybori::CCacheTypes::no_cache_tag |
polybori::CCacheTypes::no_cache |
object |
polybori::object |
object_manager_traits |
boost::python::converter::object_manager_traits< polybori::dict > |
boost::python::converter::object_manager_traits< polybori::object > |
boost::python::converter::object_manager_traits< polybori::tuple > |
polybori::on_same_type< Type1, Type2, ThenType, ElseType > | This class switches betweem two types, depending on equality of types
polybori::on_same_type< Category, std::forward_iterator_tag, project_ith< 0 >, handle_else< NavigatorType > > |
polybori::on_same_type< Type, Type, ThenType, ElseType > |
polybori::order_traits< OrderTag > |
polybori::COrderingFacade< OrderType, OrderTag > | This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType. OrderType must inherit from COrderingFacade<OrderType>
polybori::order_traits< block_dlex_tag > |
polybori::COrderingFacade< BlockDegLexOrder, block_dlex_tag > |
polybori::order_traits< block_dp_asc_tag > |
polybori::COrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag > |
polybori::order_traits< block_tag< BaseOrderTag > > |
polybori::order_traits< dlex_tag > |
polybori::COrderingFacade< DegLexOrder, dlex_tag > |
polybori::order_traits< dp_asc_tag > |
polybori::COrderingFacade< DegRevLexAscOrder, dp_asc_tag > |
polybori::order_traits< lex_tag > |
polybori::COrderingFacade< LexOrder, lex_tag > |
polybori::order_traits_code< OrderTag > |
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 | This class defines PairData
polybori::groebner::IJPairData | This class defines IJPairData
polybori::groebner::PolyPairData | This class defines PolyPairData
polybori::groebner::VariablePairData | This class defines VariablePairData
polybori::groebner::PairE | This class defines PairE
polybori::groebner::PairLS | This class defines PairLS
polybori::groebner::PairLSCompare | This class defines PairLSCompare
polybori::groebner::PairManager | This class defines PairManager
polybori::groebner::PairManagerWithStrategy< strategy_type > |
polybori::groebner::PairManagerWithStrategy< StrategyType > | This class extends `PairManager` with a reference to a strategy
polybori::groebner::PairManagerFacade< StrategyType > | This class defines a facade for a given Strategy, which
polybori::groebner::PairManagerFacade< GroebnerStrategy > |
polybori::groebner::GroebnerStrategy | This class defines GroebnerStrategy
polybori::groebner::PairStatusSet | This class defines PairStatusSet
polybori::pbori_base< NewType > |
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< OnlyType, OnlyType > |
polybori::pbori_traits< ValueType > | This class contains property definitions to be used in polybori classes
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
polybori::groebner::PolyEntryBase | This class defines the base of `PolyEntry`
polybori::groebner::PolyEntry | This class defines PolyEntry
polybori::groebner::PolyEntryIndices | This class defines PolyEntryIndices
polybori::groebner::PolyEntryPtrLmLess | This class compares pointers to PolyEntry by their leading monomials
polybori::groebner::PolyEntryReference | This class defines `PolyEntryReference`
polybori::groebner::PolyEntryVector |
polybori::groebner::ReductionStrategy | This class defines ReductionStrategy
polybori::groebner::PolyMonomialPairComparerLess | This class defines PolyMonomialPairComparerLess
polybori::groebner::PolyMonomialPairComparerLexLess | This class defines PolyMonomialPairComparerLexLess
polybori::groebner::PolynomialSugar | This class defines PolynomialSugar
polybori::project_ith< ITH, NLEN > | Accessing ith of n arguments (ITH = 0 returns default value of first type)
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 | This class defines PSCompareByEl
polybori::groebner::PseudoLongLong< High, Low > | This class defines PseudoLongLong
polybori::push_back< ListType, ValueType > | Accessing .push_back()
polybori::groebner::RedTailNth |
polybori::groebner::ReductionOptions | This class defines option values for the ReductionStrategy
polybori::groebner::ReductionStrategy | This class defines ReductionStrategy
polybori::groebner::ReductionTerms | This class defines term for `ReductionStrategy`
polybori::groebner::ReductionStrategy | This class defines ReductionStrategy
polybori::groebner::RelatedTermsBase | This class deals as a base of `RelatedTerns`
polybori::groebner::RelatedTerms | This class finds those terms in a given set which are related to given terms
polybori::remove_assign< void, pbori_traits< void >::idx_type > |
polybori::removes< void, pbori_traits< void >::idx_type > |
reversed_iteration | Interchanges operator++ and operator-- of a given iterator
polybori::reversed_iteration_adaptor< BiIterator > |
polybori::groebner::SetAssociatedMinimal< KeyType, Value > | This class set the attribute `minimal` of a given index to a valued selected by the template parameter `Value`
polybori::groebner::SetBitUInt | This class defines SetBitUInt
polybori::groebner::ShorterEliminationLength | This class defines ShorterEliminationLength
polybori::groebner::ShorterEliminationLengthModified | This class defines ShorterEliminationLengthModified
polybori::groebner::SlimgbReduction< variant > | This class defines SlimgbReduction
StackType |
polybori::CWrappedStack< StackType > |
polybori::subset0_assign< RhsType, LhsType > | Accessing .subset1Assign()
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::groebner::TimesConstantImplication |
polybori::groebner::TimesVariableSubstitution |
polybori::TransformedSequence< SequenceType, OperatorType > | This class converts a sequence-like structure when iterating
tuple |
polybori::tuple |
type |
polybori::CCacheManBase< ManagerType, CacheType, 0 > |
polybori::CCacheManBase< ManagerType, CacheType, 1 > |
polybori::CCacheManBase< ManagerType, CacheType, 2 > |
polybori::CCacheManBase< ManagerType, CacheType, 3 > |
polybori::CExpIter< NaviType, ExpType > |
polybori::CGenericIter< OrderType, NaviType, RefType > |
polybori::CReverseIter< OrderType, NaviType, RefType > |
polybori::type_tag< Type > | This class marks a given type
polybori::CCacheTypes::unary_cache_tag |
polybori::CCacheTypes::contained_deg2 |
polybori::CCacheTypes::contained_variables |
polybori::CCacheTypes::degree |
polybori::CCacheTypes::include_divisors |
polybori::CCacheTypes::lex_lead |
polybori::CCacheTypes::map_every_x_to_x_plus_one |
polybori::CCacheTypes::minimal_elements |
polybori::CCacheTypes::used_variables |
unary_function |
polybori::groebner::BoundedDivisorsOf | This class defines defines a function for computing a bounded variant of `MononmialSet's` `divisorsOf`
polybori::groebner::PolyFromPolyEntry | This class defines an operator which extracts the Polynomial from a PolyEntry
polybori::navigates< DDType > |
polybori::UnaryOperatorTraits< UnaryFunc > |
polybori::UnaryOperatorTraits< ResultType(*)(ArgType)> |
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::VariableIndexException |
vector |
polybori::groebner::RankingVector | This class defines RankingVector
polybori::WeakRingPtr | This class defines WeakRingPtr
polybori::groebner::ZeroFunction | This class defines ZeroFunction
BaseType |
polybori::CTermStackBase< NavigatorType, BaseType > | This class defines an iterator for the monomials in a Boolean polynomial
polybori::CTermStack< NavigatorType, Category, BaseType > | This class defines an iterator for the monomials in a Boolean polynomial
polybori::CDegStackCore< NavigatorType, invalid_tag, Category, BaseType > | For pure degree stacks
polybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType > | For block stacks