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