PolyBoRi
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 12345]
 Cpolybori::and_tag< Tag1, Tag2 >And_tag<valid_tag, valid_tag> -> valid_tag, otherwise invalid_tag
 Cpolybori::and_tag< valid_tag, valid_tag >
 Cpolybori::append_indexed_divisor< DDType, IdxType >Defines multiplication (with assignment) with the idx-th variable
 Cpolybori::CCacheTypes::binary_cache_tag
 Cbinary_function
 CBinaryOp
 Cbinder1st
 Cbinder2nd
 CBindType
 Cpolybori::groebner::BitMask< NBits >This class defines a bit mask and related operations
 Cpolybori::groebner::BitMask< 0 >
 Cpolybori::groebner::BitMask< sizeof(unsigned long)*4 >
 Cpolybori::groebner::BitMask< sizeof(unsigned long)*8 >
 Cpolybori::block_tag< TagType >Marker for block orderings
 Cpolybori::groebner::BlockOrderHelperThis class defines BlockOrderHelper
 Cpolybori::BooleSetSequenceThis class converts a BooleSet to a sequence-like structure
 Cpolybori::bounded_restricted_term< NaviType, DescendingProperty >
 Cpolybori::CAbstractStackBase< NavigatorType >
 Cpolybori::cached_block_deg< NavigatorType >
 Cpolybori::cached_block_deg< navigator >
 Cpolybori::cached_deg< NavigatorType >
 Cpolybori::cached_deg< navigator >
 Cpolybori::groebner::CacheManager
 Cpolybori::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
 Cpolybori::CApplyNodeFacade< BooleSet, DdNode * >
 Cpolybori::CApplyNodeFacade< DiagramType, DdNode * >
 Cpolybori::CAuxTypesThis struct contains auxiliary type definitions
 Cpolybori::CCacheManBase< ManagerType, CacheType, ArgumentLength >This template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache
 Cpolybori::CCacheManBase< BoolePolyRing, CacheType, ArgumentLength >
 Cpolybori::CCacheManBase< BoolePolyRing, CCacheTypes::block_degree, ArgumentLength >
 Cpolybori::CCacheManBase< BoolePolyRing, CCacheTypes::degree, ArgumentLength >
 Cpolybori::CCacheManBase< BoolePolyRing, CCacheTypes::ll_red_nf, ArgumentLength >
 Cpolybori::CCacheManBase< BoolePolyRing, TagType, ArgumentLength >
 Cpolybori::CCacheTypes
 Cpolybori::CCallbackFacade< Type, ResultType, ArgType >Variant for constant non-void member functions
 Cpolybori::CCallbackFacade< CCallbackWrapper< MemberFuncPtr >, CMemberFunctionTraits< MemberFuncPtr >::result_type, CMemberFunctionTraits< MemberFuncPtr >::argument_type >
 Cpolybori::CCallbackFacade< Type, void, ArgType >Specialized variant for constant void member functions
 Cpolybori::CCompareEnumsThis struct contains type definitions and enumerations to be used for comparisons
 Cpolybori::CCuddLikeMgrStorage< MgrType >
 Cpolybori::CCuddNavigatorThis class defines an iterator for navigating through then and else branches of ZDDs
 CCDDOperationGeneric class containing decision diagram operations
 Cpolybori::CDDOperations< DDType, MonomType >
 Cpolybori::CDegStackBase< NavigatorType, BlockProperty, DescendingProperty, BaseType >
 Cpolybori::CDegStackBase< NavigatorType, DescendingProperty, BlockProperty, BaseType >
 Cpolybori::CDegStackBase< NavigatorType, DescendingProperty, valid_tag, BaseType >
 Cpolybori::CDegStackCore< NavigatorType, BlockProperty, Category, BaseType >
 Cpolybori::CDegStackCore< NavigatorType, BlockProperty, std::bidirectional_iterator_tag, BaseType >
 Cpolybori::CDegStackCore< NavigatorType, BlockProperty, std::forward_iterator_tag, BaseType >
 Cpolybori::CDelayedTermIter< class, class, class, class >
 Cpolybori::CErrorEnumsThis struct contains type definitions and enumerations to be used for error codes
 Cpolybori::CErrorInfo
 Cpolybori::CExpGenerator< ExpType >
 Cpolybori::CExtrusivePtr< DataType, ValueType >This template class defines a reimplementation of the interface from boost:intrusive_ptr, but with an additional data field
 Cpolybori::CExtrusivePtr< ring_type, node_type >
 Cpolybori::CFactoryBaseThis base class CFactoryBase is used for currying other constructors with a BoolePolyRing
 Cpolybori::groebner::ChainCriterionThis class defines ChainCriterion
 Cpolybori::groebner::ChainVariableCriterionThis class defines ChainVariableCriterion
 CchangeAccessing .change()
 Cpolybori::change_assign< RhsType, LhsType >Accessing .changeAssign()
 Cpolybori::change_assign< void, pbori_traits< void >::idx_type >
 Cpolybori::change_idx< RhsType, LhsType >
 Cpolybori::groebner::CheckChainCriterion< StrategyType >This class defines CheckChainCriterion
 Cpolybori::CIndexCacheHandle< NaviType >
 Cpolybori::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)
 Cpolybori::CIndirectIter< IteratorType, MonomType >
 Cpolybori::CLiteralCodesThis template class defines enumerative codes for the string literals defined by the CStringLiterals class
 Cpolybori::CMemberFunctionTraits< MemberFuncPtr >This template class defines related types for member function pointer
 Cpolybori::CMemberFunctionTraitsBase< Type, ResultType, ArgType, ObjRef >Axuiliary class
 Cpolybori::CMemberFunctionTraitsBase< Type, ResultType, ArgType, const Type & >
 Cpolybori::CMemberFunctionTraitsBase< Type, ResultType, ArgType, Type & >
 Cpolybori::CMemberFunctionTraitsBase< Type, ResultType, void, const Type & >
 Cpolybori::CMemberFunctionTraitsBase< Type, ResultType, void, Type & >
 Cpolybori::CNodeCounter< NaviType >This class defines CNodeCounter
 Cpolybori::COrderEnumsThis struct contains type definitions and enumerations to be used for order codes
 Cpolybori::COrderingTags< OrderTag >This tempalte class is base for classes which define ordering tags and properties
 Cpolybori::COrderingTagsBase< OrderTag, LexProp, DegOrderProp, BlockOrderProp, DescendingProp, OrderedProp, TotelDegOrderProp, SymmetryProp >
 Cpolybori::COrderingTagsBase< block_dlex_tag, invalid_tag, invalid_tag, valid_tag, valid_tag >
 Cpolybori::COrderingTagsBase< block_dp_asc_tag, invalid_tag, invalid_tag, valid_tag, invalid_tag >
 Cpolybori::COrderingTagsBase< dlex_tag, invalid_tag, valid_tag, invalid_tag, valid_tag >
 Cpolybori::COrderingTagsBase< dp_asc_tag, invalid_tag, valid_tag, invalid_tag, invalid_tag >
 Cpolybori::COrderingTagsBase< lex_tag, valid_tag, invalid_tag, invalid_tag, valid_tag >
 Cpolybori::COrderingTagsBase< OrderTag, invalid_tag, invalid_tag, valid_tag, DescProp >
 Cpolybori::COrderingTagsBase< OrderTag, invalid_tag, valid_tag, invalid_tag, DescProp >
 Cpolybori::count_tags< TagType >
 Cpolybori::count_tags< CCacheTypes::divisorsof_fixedpath >
 Cpolybori::groebner::CountCriterionThis class defines CountCriterion
 Cpolybori::CStackSelector< OrderType, NaviType, BaseType >
 Cpolybori::CStringLiteral< LitCode >This template class defines string literals corresponding to the codes enumerated in the class CLiteralCodes
 Cpolybori::CTermGeneratorBase__< TermType, BehaviourTag >
 Cpolybori::CTermGeneratorBase__< BooleExponent, type_tag< BooleExponent > >
 Cpolybori::CTermGeneratorBase__< BooleMonomial, type_tag< BooleMonomial > >
 Cpolybori::CTermGeneratorBase__< MonomType, type_tag< MonomType > >
 Cpolybori::CTermGeneratorBase__< TermType, type_tag< BooleExponent > >
 Cpolybori::CTermGeneratorBase__< TermType, type_tag< BooleMonomial > >
 Cpolybori::CTermGeneratorBase__< TermType, type_tag< CTypes::deg_type > >
 Cpolybori::CTermGeneratorBase__< TermType, type_tag< CTypes::size_type > >
 Cpolybori::CTermGeneratorBase__< TermType, type_tag< TermType > >
 Cpolybori::cudd_error_traits< ErrorNumber >
 Cpolybori::cudd_tag_number< Counted, Offset >
 Cpolybori::CVariableNames
 Cpolybori::CWeakPtr< ValueType >Forward declaration of friend
 Cpolybori::CWeakPtr< polybori::BoolePolyRing::core_type >
 Cpolybori::CWeakPtrFacade< ValueType >This class defines CWeakPtrFacade
 Cpolybori::CWeakPtrFacade< CCuddCore >
 Cpolybori::dd_add_assign< DDType >Defines addition operation with assignment for decision diagrams
 Cpolybori::dd_operations< DDType >
 Cpolybori::default_value< ValueType >
 Cpolybori::groebner::DegOrderHelperThis class defines DegOrderHelper
 Cdeque
 Cpolybori::DerefProxy< Type >
 Cdict
 Cpolybori::dlex_tagMarker for deg-lex ordering
 Cpolybori::dp_asc_tagMarker for ascending deg-rev-lex ordering
 Cpolybori::dummy_data_type< DummyType >
 Cpolybori::dummy_iteratorAn iterator which virtually does nothing
 Ceasy_equality_propertyDefines generic base for properties
 Cpolybori::EliminationDegreeAdder< ExponentVectorType >
 Cpolybori::equality_property< ValidityTag >
 Cpolybori::equality_property< invalid_tag >
 Cpolybori::equality_property< valid_tag >
 Cexception
 Cpolybori::groebner::ExpLexLessThis class defines ExpLexLess
 Cpolybori::groebner::FGLMStrategy
 Cpolybori::groebner::GBTypes
 Cpolybori::generate_index_map< Type >
 Cpolybori::generic_iteration< OrderType, Iterator >
 Cget_baseDeclaration, which can be used to define base classes for inheritance of classes in advance
 Cpolybori::get_node< DDType >
 Cpolybori::groebner::GetNthPoly
 Cpolybori::groebner::GroebnerOptionsThis class defines options settings for GroebnerStrategy
 Cpolybori::hashes< Type >
 Cpolybori::groebner::HasTRepOrExtendedProductCriterionThis class defines HasTRepOrExtendedProductCriterion
 Cpolybori::increment_count_tags< BaseTag >
 Cpolybori::increment_count_tags< CCacheTypes::divisorsof_fixedpath >
 Cpolybori::increment_count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x >
 Cpolybori::increment_count_tags< CCacheTypes::testwise_ternary >
 CinsertAccessing .insert()
 Cpolybori::insert_assign< void, pbori_traits< void >::idx_type >
 Cpolybori::insert_second_to_list< ListType, RhsType, LhsType >Insert second argument to a given list
 Cpolybori::inserts< void, pbori_traits< void >::idx_type >
 Cpolybori::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
 Cpolybori::integral_constant< bool, false >
 Cpolybori::integral_constant< bool, true >
 Cpolybori::integral_constant< CTypes::bool_type, false >
 Cpolybori::integral_constant< CTypes::bool_type, true >
 Cpolybori::internal_tagThis class marks an internal part of a procedure
 Cpolybori::Interpreter
 Cpolybori::invalid_tagThis class shows, whether a property of an order is invalid
 Cpolybori::invert_tag< Tag >Changes valid_tag -> invalid_tag and vice versa
 Cpolybori::invert_tag< invalid_tag >
 Cpolybori::invert_tag< valid_tag >
 Cpolybori::groebner::IsEcart0PredicateThis class defines IsEcart0Predicate
 Cpolybori::groebner::IsVariableOfIndex
 Citerator_facade
 Cpolybori::groebner::LargerDegreeComparerThis class defines LargerDegreeComparer
 Cpolybori::groebner::LessCombinedManySizesInStratThis class defines LessCombinedManySizesInStrat
 Cpolybori::groebner::LessEcartThenLessWeightedLengthInStratThis class defines LessEcartThenLessWeightedLengthInStrat
 Cpolybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStratThis class defines LessUsedTailVariablesThenLessWeightedLengthInStrat
 Cpolybori::groebner::LessWeightedLengthInStratThis class defines LessWeightedLengthInStrat
 Cpolybori::groebner::LessWeightedLengthInStratModifiedThis class defines LessWeightedLengthInStratModified
 Cpolybori::lex_tagMarker for lex ordering
 Cpolybori::groebner::LexBucket
 Cpolybori::groebner::LexHelperThis class defines LexHelper
 Cpolybori::groebner::LexOrderGreaterComparerThis class defines LexOrderGreaterComparer
 Cpolybori::groebner::LiteralFactorization
 Cpolybori::groebner::LiteralFactorizationIteratorThis class defines LiteralFactorizationIterator
 Cpolybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >This class defines LLReduction
 Cpolybori::groebner::LMLessCompareThis class defines LMLessCompare
 Cpolybori::groebner::LMLessComparePSThis class defines LMLessComparePS
 Cpolybori::groebner::Long64From32BitsPairBase< High, Low, SizeOfLong >This class defines an auxiliary class for Long64From32BitsPair
 Cpolybori::groebner::Long64From32BitsPairBase< High, Low, 4 >
 Cpolybori::groebner::Long64From32BitsPairBase< High, Low, 8 >
 Cpolybori::groebner::Long64From32BitsPairBase< High, Low, sizeof(unsigned long)>
 Cpolybori::manager_traits< CuddLike >
 Cpolybori::mapped_new_node< MapType, VariableType, TermType, NodeType >
 Cpolybori::groebner::MatrixMonomialOrderTablesThis class defines MatrixMonomialOrderTables
 Cpolybori::maximum_iteration< ValueType >Returns maximun of given argument and previous calls
 Cpolybori::MemberFunctionOperator< MemberFct >
 Cpolybori::groebner::MonomialHasherThis class defines MonomialHasher
 Cpolybori::navigator_tagFor iterator_category
 Cpolybori::groebner::NBitsUsed< NValue >This class defines NBitsUsed whose value attribute computes the actual number of used bits at compile time
 Cpolybori::groebner::NBitsUsed< 0 >
 Cpolybori::groebner::NextSpolyThis class computes the next spoly for a generator pair
 Cpolybori::CCacheTypes::no_cache_tag
 Cobject
 Cobject_manager_traits
 Cpolybori::on_same_type< Type1, Type2, ThenType, ElseType >This class switches betweem two types, depending on equality of types
 Cpolybori::on_same_type< Category, std::forward_iterator_tag, project_ith< 0 >, handle_else< NavigatorType > >
 Cpolybori::on_same_type< Type, Type, ThenType, ElseType >
 Cpolybori::order_traits< OrderTag >
 Cpolybori::order_traits< block_dlex_tag >
 Cpolybori::order_traits< block_dp_asc_tag >
 Cpolybori::order_traits< block_tag< BaseOrderTag > >
 Cpolybori::order_traits< dlex_tag >
 Cpolybori::order_traits< dp_asc_tag >
 Cpolybori::order_traits< lex_tag >
 Cpolybori::order_traits_code< OrderTag >
 Cpolybori::order_traits_code< block_dlex_tag >
 Cpolybori::order_traits_code< block_dp_asc_tag >
 Cpolybori::order_traits_code< dlex_tag >
 Cpolybori::order_traits_code< dp_asc_tag >
 Cpolybori::order_traits_code< lex_tag >
 Cpolybori::groebner::PairDataThis class defines PairData
 Cpolybori::groebner::PairEThis class defines PairE
 Cpolybori::groebner::PairLSThis class defines PairLS
 Cpolybori::groebner::PairLSCompareThis class defines PairLSCompare
 Cpolybori::groebner::PairManagerThis class defines PairManager
 Cpolybori::groebner::PairManagerFacade< StrategyType >This class defines a facade for a given Strategy, which
 Cpolybori::groebner::PairManagerFacade< GroebnerStrategy >
 Cpolybori::groebner::PairStatusSetThis class defines PairStatusSet
 Cpolybori::pbori_base< NewType >
 Cpolybori::pbori_base< CCacheManBase< BoolePolyRing, CacheType, ArgumentLength > >
 Cpolybori::pbori_base< CCacheManBase< boost::intrusive_ptr< CCuddCore >, CacheType, ArgumentLength > >
 Cpolybori::pbori_base< CCacheManBase< CCuddInterface, CacheType, ArgumentLength > >
 Cpolybori::pbori_base< CExpIter< NaviType, ExpType > >
 Cpolybori::pbori_base< CGenericIter< OrderType, NaviType, RefType > >
 Cpolybori::pbori_base< CReverseIter< OrderType, NaviType, RefType > >
 Cpolybori::pbori_binary_traits< OnlyType, OnlyType >
 Cpolybori::pbori_traits< ValueType >This class contains property definitions to be used in polybori classes
 Cpolybori::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
 Cpolybori::groebner::PolyEntryBaseThis class defines the base of PolyEntry
 Cpolybori::groebner::PolyEntryIndicesThis class defines PolyEntryIndices
 Cpolybori::groebner::PolyEntryPtrLmLessThis class compares pointers to PolyEntry by their leading monomials
 Cpolybori::groebner::PolyEntryReferenceThis class defines PolyEntryReference
 Cpolybori::groebner::PolyEntryVector
 Cpolybori::groebner::PolyMonomialPairComparerLessThis class defines PolyMonomialPairComparerLess
 Cpolybori::groebner::PolyMonomialPairComparerLexLessThis class defines PolyMonomialPairComparerLexLess
 Cpolybori::groebner::PolynomialSugarThis class defines PolynomialSugar
 Cpolybori::project_ith< ITH, NLEN >Accessing ith of n arguments (ITH = 0 returns default value of first type)
 Cpolybori::project_ith< 0, NLEN >
 Cpolybori::project_ith< 1, NLEN >
 Cpolybori::project_ith< 2, NLEN >
 Cpolybori::project_ith< 3, NLEN >
 Cproperty_ownerDefines generic base for properties
 Cpolybori::groebner::PSCompareByElThis class defines PSCompareByEl
 Cpolybori::groebner::PseudoLongLong< High, Low >This class defines PseudoLongLong
 Cpolybori::push_back< ListType, ValueType >Accessing .push_back()
 Cpolybori::groebner::RedTailNth
 Cpolybori::groebner::ReductionOptionsThis class defines option values for the ReductionStrategy
 Cpolybori::groebner::ReductionTermsThis class defines term for ReductionStrategy
 Cpolybori::groebner::RelatedTermsBaseThis class deals as a base of RelatedTerns
 Cpolybori::remove_assign< void, pbori_traits< void >::idx_type >
 Cpolybori::removes< void, pbori_traits< void >::idx_type >
 Creversed_iterationInterchanges operator++ and operator-- of a given iterator
 Cpolybori::reversed_iteration_adaptor< BiIterator >
 Cpolybori::groebner::SetAssociatedMinimal< KeyType, Value >This class set the attribute minimal of a given index to a valued selected by the template parameter Value
 Cpolybori::groebner::SetBitUIntThis class defines SetBitUInt
 Cpolybori::groebner::ShorterEliminationLengthThis class defines ShorterEliminationLength
 Cpolybori::groebner::ShorterEliminationLengthModifiedThis class defines ShorterEliminationLengthModified
 Cpolybori::groebner::SlimgbReduction< variant >This class defines SlimgbReduction
 CStackType
 Cpolybori::subset0_assign< RhsType, LhsType >Accessing .subset1Assign()
 Cpolybori::subset1_assign< RhsType, LhsType >Accessing .subset1Assign()
 Cpolybori::CCacheTypes::ternary_cache_tag
 Cpolybori::times_indexed_var< DDType, IdxType >Defines multiplication operation with the idx-th variable
 Cpolybori::groebner::TimesConstantImplication
 Cpolybori::groebner::TimesVariableSubstitution
 Cpolybori::TransformedSequence< SequenceType, OperatorType >This class converts a sequence-like structure when iterating
 Ctuple
 Ctype
 Cpolybori::type_tag< Type >This class marks a given type
 Cpolybori::CCacheTypes::unary_cache_tag
 Cunary_function
 Cpolybori::UnaryOperatorTraits< UnaryFunc >
 Cpolybori::UnaryOperatorTraits< ResultType(*)(ArgType)>
 Cpolybori::valid_tagThis class shows, whether a property of an order is valid
 Cpolybori::variable_name< ManagerType, IdxType, VarNameType >Defines generic access to variable names
 Cpolybori::VariableIndexException
 Cvector
 Cpolybori::WeakRingPtrThis class defines WeakRingPtr
 Cpolybori::groebner::ZeroFunctionThis class defines ZeroFunction
 CBaseType