| ►Nboost | |
| ►Npython | |
| ►Nconverter | |
| Cobject_manager_traits< polybori::dict > | |
| Cobject_manager_traits< polybori::object > | |
| Cobject_manager_traits< polybori::tuple > | |
| ►Npolybori | |
| ►Ngroebner | |
| CBitMask | This class defines a bit mask and related operations |
| CBitMask< 0 > | |
| CBitMask< sizeof(unsigned long)*8 > | |
| CBlockOrderHelper | This class defines BlockOrderHelper |
| CBoundedDivisorsOf | This class defines defines a function for computing a bounded variant of MononmialSet's divisorsOf |
| CCacheManager | |
| CChainCriterion | This class defines ChainCriterion |
| CChainVariableCriterion | This class defines ChainVariableCriterion |
| CCheckChainCriterion | This class defines CheckChainCriterion |
| CCountCriterion | This class defines CountCriterion |
| CDegOrderHelper | This class defines DegOrderHelper |
| CExpGreater | This class defines ExpGreater |
| CExpLexLess | This class defines ExpLexLess |
| CFGLMNoLinearCombinationException | |
| CFGLMStrategy | |
| CGBTypes | |
| CGetNthPoly | |
| CGroebnerOptions | This class defines options settings for GroebnerStrategy |
| CGroebnerStrategy | This class defines GroebnerStrategy |
| CHasTRepOrExtendedProductCriterion | This class defines HasTRepOrExtendedProductCriterion |
| CIJPairData | This class defines IJPairData |
| CIsEcart0Predicate | This class defines IsEcart0Predicate |
| CIsVariableOfIndex | |
| CLargerDegreeComparer | This class defines LargerDegreeComparer |
| CLeadingTerms | This class defines LeadingTerms |
| CLeadingTerms00 | This class defines LeadingTerms00 |
| CLeadingTerms11 | This class defines LeadingTerms11 |
| CLessCombinedManySizesInStrat | This class defines LessCombinedManySizesInStrat |
| CLessEcartThenLessWeightedLengthInStrat | This class defines LessEcartThenLessWeightedLengthInStrat |
| CLessUsedTailVariablesThenLessWeightedLengthInStrat | This class defines LessUsedTailVariablesThenLessWeightedLengthInStrat |
| CLessWeightedLengthInStrat | This class defines LessWeightedLengthInStrat |
| CLessWeightedLengthInStratModified | This class defines LessWeightedLengthInStratModified |
| CLexBucket | |
| CLexHelper | This class defines LexHelper |
| CLexOrderGreaterComparer | This class defines LexOrderGreaterComparer |
| CLiteralFactorization | |
| CLiteralFactorizationIterator | This class defines LiteralFactorizationIterator |
| CLLReduction | This class defines LLReduction |
| CLLReductor | This class defines LLReductor |
| CLMLessCompare | This class defines LMLessCompare |
| CLMLessComparePS | This class defines LMLessComparePS |
| CLong64From32BitsPair | This class defines Long64From32BitsPair |
| CLong64From32BitsPairBase | This class defines an auxiliary class for Long64From32BitsPair |
| CLong64From32BitsPairBase< High, Low, 4 > | |
| CLong64From32BitsPairBase< High, Low, 8 > | |
| CMatrixMonomialOrderTables | This class defines MatrixMonomialOrderTables |
| CMinimalLeadingTerms | This class defines MinimalLeadingTerms |
| CMonomialHasher | This class defines MonomialHasher |
| CMonomialPlusOneTerms | This class defines MonomialPlusOneTerms |
| CMonomialTerms | This class defines MonomialTerms |
| CNBitsUsed | This class defines NBitsUsed whose value attribute computes the actual number of used bits at compile time |
| CNBitsUsed< 0 > | |
| CNextSpoly | This class computes the next spoly for a generator pair |
| CPairData | This class defines PairData |
| CPairE | This class defines PairE |
| CPairECompare | This class defines PairECompare |
| CPairLS | This class defines PairLS |
| CPairLSCompare | This class defines PairLSCompare |
| CPairManager | This class defines PairManager |
| CPairManagerFacade | This class defines a facade for a given Strategy, which |
| CPairManagerWithStrategy | This class extends PairManager with a reference to a strategy |
| CPairStatusSet | This class defines PairStatusSet |
| CPolyEntry | This class defines PolyEntry |
| CPolyEntryBase | This class defines the base of PolyEntry |
| CPolyEntryIndices | This class defines PolyEntryIndices |
| CPolyEntryPtrLmLess | This class compares pointers to PolyEntry by their leading monomials |
| CPolyEntryReference | This class defines PolyEntryReference |
| CPolyEntryVector | |
| CPolyFromPolyEntry | This class defines an operator which extracts the Polynomial from a PolyEntry |
| CPolyMonomialPairComparerLess | This class defines PolyMonomialPairComparerLess |
| CPolyMonomialPairComparerLexLess | This class defines PolyMonomialPairComparerLexLess |
| CPolynomialSugar | This class defines PolynomialSugar |
| CPolyPairData | This class defines PolyPairData |
| CPSCompareByEl | This class defines PSCompareByEl |
| CPseudoLongLong | This class defines PseudoLongLong |
| CPseudoLongProduct | This class defines a delayed product of longs and comparison with LongLong Constant |
| CRankingVector | This class defines RankingVector |
| CRedTailNth | |
| CReductionOptions | This class defines option values for the ReductionStrategy |
| CReductionStrategy | This class defines ReductionStrategy |
| CReductionTerms | This class defines term for ReductionStrategy |
| CRelatedTerms | This class finds those terms in a given set which are related to given terms |
| CRelatedTermsBase | This class deals as a base of RelatedTerns |
| CSetAssociatedMinimal | This class set the attribute minimal of a given index to a valued selected by the template parameter Value |
| CSetBitUInt | This class defines SetBitUInt |
| CShorterEliminationLength | This class defines ShorterEliminationLength |
| CShorterEliminationLengthModified | This class defines ShorterEliminationLengthModified |
| CSlimgbReduction | This class defines SlimgbReduction |
| CTermsFacade | This class defines TermsFacade |
| CTimesConstantImplication | |
| CTimesVariableSubstitution | |
| CVariablePairData | This class defines VariablePairData |
| CZeroFunction | This class defines ZeroFunction |
| CAddEliminationDegree | |
| Cand_tag | And_tag<valid_tag, valid_tag> -> valid_tag, otherwise invalid_tag |
| Cand_tag< valid_tag, valid_tag > | |
| Cappend_indexed_divisor | Defines multiplication (with assignment) with the idx-th variable |
| Cbinary_composition | Compose a binary function with two default constructable unary functions |
| Cblock_tag | Marker for block orderings |
| CBlockDegLexOrder | This class defines ordering related functions |
| CBlockDegRevLexAscOrder | This class defines ordering related functions |
| CBooleConstant | This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet |
| CBooleEnv | This class is just a wrapper accessing global structures |
| CBooleExponent | This class is just a wrapper for using variables for storing indices as interim data structure for BooleMonomial |
| CBooleMonomial | This class is just a wrapper for using variables from cudd's decicion diagram |
| CBoolePolynomial | This class wraps the underlying decicion diagram type and defines the necessary operations |
| CBoolePolyRing | This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and variable names |
| CBooleSet | |
| CBooleSetSequence | This class converts a BooleSet to a sequence-like structure |
| CBooleVariable | This class is just a wrapper for using variables from cudd's decicion diagram |
| Cbounded_restricted_term | |
| CCAbstractStackBase | |
| Ccached_block_deg | |
| Ccached_deg | |
| CCacheManager | |
| CCApplyNodeFacade | 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 |
| CCAuxTypes | This struct contains auxiliary type definitions |
| CCBlockDegreeCache | |
| CCBlockDegreeOrderingTags | |
| CCBlockOrderingFacade | This class implements block orderings for COrderingFacade. OrderType must inherit from COrderingFacade<OrderType> |
| CCBlockTermStack | |
| CCBoundedDegreeCache | |
| CCCacheManagement | This template class forms the base for CCommutativeCacheManagement and CacheManager. It is an interface defining find and insert on decision diagram cache |
| CCCacheManBase | This template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache |
| CCCacheManBase< ManagerType, CacheType, 0 > | |
| CCCacheManBase< ManagerType, CacheType, 1 > | |
| CCCacheManBase< ManagerType, CacheType, 2 > | |
| CCCacheManBase< ManagerType, CacheType, 3 > | |
| ►CCCacheTypes | |
| Cbinary_cache_tag | |
| Cblock_degree | |
| Ccontained_deg2 | |
| Ccontained_variables | |
| Cdegree | |
| Cdivide | |
| Cdivisorsof | |
| Cdivisorsof_fixedpath | |
| Cexist_abstract | |
| Cgraded_part | |
| Chas_factor_x | |
| Chas_factor_x_plus_one | |
| Chas_factor_x_plus_y | |
| Cinclude_divisors | |
| Cinterpolate | |
| Cinterpolate_smallest_lex | |
| Cis_rewriteable | |
| Clead_tag | |
| Cleft_equals_right_x_branch_and_r_has_fac_x | |
| Clex_lead | |
| Cll_red_nf | |
| Cmap_every_x_to_x_plus_one | |
| Cmapping | |
| Cminimal_elements | |
| Cminimal_mod | |
| Cmod_varset | |
| Cmultiplesof | |
| Cmultiply_recursive | |
| Cno_cache | |
| Cno_cache_tag | |
| Cplug_1 | |
| Cternary_cache_tag | |
| Ctestwise_ternary | |
| Cunary_cache_tag | |
| Cunion_xor | |
| Cused_variables | |
| Czeros | |
| CCCallbackFacade | Variant for constant non-void member functions |
| CCCallbackFacade< Type, void, ArgType > | Specialized variant for constant void member functions |
| CCCallbackWrapper | This template class defines a functional, which wraps operator .*, which is the callback of a dynamic member function wrt. a given object |
| CCCheckedIdx | This class defines CCheckedIdx |
| CCCommutativeCacheManagement | |
| CCCompareEnums | This struct contains type definitions and enumerations to be used for comparisons |
| CCCuddCore | This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers |
| CCCuddDDFacade | This template class defines a facade for decision diagrams |
| CCCuddFirstIter | This class defines an iterator over the first minimal term of a given ZDD node |
| CCCuddInterface | This class defines a C++ interface to CUDD's decicion diagram manager |
| CCCuddLastIter | This class defines an iterator over the last minimal term of a given ZDD node |
| CCCuddLikeMgrStorage | |
| CCCuddNavigator | This class defines an iterator for navigating through then and else branches of ZDDs |
| CCDDOperations | |
| CCDegreeArgumentCache | |
| CCDegreeCache | |
| CCDegreeOrderingTags | |
| CCDegStackBase | |
| CCDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType > | |
| CCDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType > | |
| CCDegStackCore | |
| CCDegStackCore< NavigatorType, invalid_tag, Category, BaseType > | For pure degree stacks |
| CCDegStackCore< NavigatorType, valid_tag, Category, BaseType > | For block stacks |
| CCDegTermStack | |
| CCDelayedTermIter | |
| CCErrorEnums | This struct contains type definitions and enumerations to be used for error codes |
| CCErrorInfo | |
| CCExpGenerator | |
| CCExpIter | |
| CCExtrusivePtr | This template class defines a reimplementation of the interface from boost:intrusive_ptr, but with an additional data field |
| CCFactoryBase | This base class CFactoryBase is used for currying other constructors with a BoolePolyRing |
| CCGenericIter | |
| CCGenericOrderedIter | |
| CCGenericOrderedIter< OrderType, NavigatorType, BooleExponent > | |
| Cchange_assign | Accessing .changeAssign() |
| Cchange_assign< void, pbori_traits< void >::idx_type > | |
| Cchange_idx | |
| CCIndexCacheHandle | |
| CCIndexHandle | This class defines an uses an navigator-like type for storing integer values from 0 upto nmax (number of currently active ring variables) |
| CCIndirectIter | |
| CCLiteralCodes | This template class defines enumerative codes for the string literals defined by the CStringLiterals class |
| CCMemberFunctionTraits | This template class defines related types for member function pointer |
| CCMemberFunctionTraits< ResultType(Type::*)() const > | |
| CCMemberFunctionTraits< ResultType(Type::*)()> | |
| CCMemberFunctionTraits< ResultType(Type::*)(ArgType) const > | |
| CCMemberFunctionTraits< ResultType(Type::*)(ArgType)> | |
| CCMemberFunctionTraitsBase | Axuiliary class |
| CCNodeCounter | This class defines CNodeCounter |
| CCommutativeCacheManager | |
| Cconstant_binder1st | |
| Cconstant_binder2nd | |
| Cconstant_binder_base | |
| CCOrderedIter | |
| CCOrderEnums | This struct contains type definitions and enumerations to be used for order codes |
| CCOrderingBase | |
| CCOrderingFacade | This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType. OrderType must inherit from COrderingFacade<OrderType> |
| CCOrderingTags | This tempalte class is base for classes which define ordering tags and properties |
| CCOrderingTags< block_dlex_tag > | |
| CCOrderingTags< block_dp_asc_tag > | |
| CCOrderingTags< dlex_tag > | |
| CCOrderingTags< dp_asc_tag > | |
| CCOrderingTags< lex_tag > | |
| CCOrderingTagsBase | |
| Ccount_tags | |
| Ccount_tags< CCacheTypes::divisorsof_fixedpath > | |
| Ccount_tags< CCacheTypes::has_factor_x_plus_y > | |
| Ccount_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x > | |
| Ccount_tags< CCacheTypes::testwise_ternary > | |
| CCReverseIter | |
| CCReverseTermStack | This class defines an iterator for the monomials in a Boolean polynomial in reversed lexicographicxal order |
| CCStackSelector | |
| CCStringLiteral | This template class defines string literals corresponding to the codes enumerated in the class CLiteralCodes |
| CCTermGenerator | |
| CCTermGenerator< BooleMonomial > | |
| CCTermGeneratorBase | |
| CCTermGeneratorBase__ | |
| CCTermGeneratorBase__< TermType, type_tag< BooleExponent > > | |
| CCTermGeneratorBase__< TermType, type_tag< BooleMonomial > > | |
| CCTermGeneratorBase__< TermType, type_tag< CTypes::deg_type > > | |
| CCTermGeneratorBase__< TermType, type_tag< CTypes::size_type > > | |
| CCTermIter | This class defines an iterator for the monomials in a Boolean polynomial |
| CCTermStack | This class defines an iterator for the monomials in a Boolean polynomial |
| CCTermStackBase | This class defines an iterator for the monomials in a Boolean polynomial |
| CCTypes | This struct contains type definitions to be used in library classes |
| Ccudd_error_traits | |
| Ccudd_tag_number | |
| CCVariableIter | This template class defines an iterator for monomial types |
| CCVariableNames | |
| CCWeakPtr | Forward declaration of friend |
| CCWeakPtrFacade | This class defines CWeakPtrFacade |
| CCWrappedStack | |
| Cdd_add_assign | Defines addition operation with assignment for decision diagrams |
| Cdd_operations | |
| Cdd_operations< CCuddNavigator > | |
| Cdefault_binder1st | |
| Cdefault_binder2nd | |
| Cdefault_binder_base | |
| Cdefault_value | |
| CDegLexOrder | This class defines ordering related functions |
| CDegRevLexAscOrder | This class defines ordering related functions |
| CDerefProxy | |
| Cdict | |
| Cdlex_tag | Marker for deg-lex ordering |
| Cdp_asc_tag | Marker for ascending deg-rev-lex ordering |
| Cdummy_data_type | |
| Cdummy_iterator | An iterator which virtually does nothing |
| CEliminationDegreeAdder | |
| Cequality_property | |
| Cgenerate_index_map | |
| Cgeneric_iteration | |
| Cget_node | |
| Chandle_else | |
| Chashes | |
| Cincrement_count_tags | |
| Cinsert_assign | Accessing .insertAssign() |
| Cinsert_assign< void, pbori_traits< void >::idx_type > | |
| Cinsert_second_to_list | Insert second argument to a given list |
| Cinserts | Accessing .insert() |
| Cinserts< void, pbori_traits< void >::idx_type > | |
| Cintegral_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 |
| Cinternal_tag | This class marks an internal part of a procedure |
| CInterpreter | |
| Cinvalid_tag | This class shows, whether a property of an order is invalid |
| Cinvert_tag | Changes valid_tag -> invalid_tag and vice versa |
| Cinvert_tag< invalid_tag > | |
| Cinvert_tag< valid_tag > | |
| Cis_same_type | This class tests whether two types equal |
| Cis_same_type< Type, Type > | |
| Cis_valid | |
| Clex_compare_predicate | Defines lexicographic comparison functor |
| Clex_tag | Marker for lex ordering |
| CLexOrder | This class defines ordering related functions |
| Cmanager_traits | |
| Cmapped_new_node | |
| Cmaximum_iteration | Returns maximun of given argument and previous calls |
| CMemberFunctionOperator | |
| CMonomialFactory | This base class MonomialFactory is used for currying monomial constructors with a BoolePolyRing |
| Cnavigates | |
| Cnavigator_tag | For iterator_category |
| Cobject | |
| Con_same_type | This class switches betweem two types, depending on equality of types |
| Con_same_type< Type, Type, ThenType, ElseType > | |
| Corder_traits | |
| Corder_traits< block_tag< BaseOrderTag > > | |
| Corder_traits_code | |
| Corder_traits_code< block_dlex_tag > | |
| Corder_traits_code< block_dp_asc_tag > | |
| Corder_traits_code< dlex_tag > | |
| Corder_traits_code< dp_asc_tag > | |
| Corder_traits_code< lex_tag > | |
| Cpbori_base | |
| Cpbori_base< CCacheManBase< BoolePolyRing, CacheType, ArgumentLength > > | |
| Cpbori_base< CCacheManBase< boost::intrusive_ptr< CCuddCore >, CacheType, ArgumentLength > > | |
| Cpbori_base< CCacheManBase< CCuddInterface, CacheType, ArgumentLength > > | |
| Cpbori_base< CExpIter< NaviType, ExpType > > | |
| Cpbori_base< CGenericIter< OrderType, NaviType, RefType > > | |
| Cpbori_base< CReverseIter< OrderType, NaviType, RefType > > | |
| Cpbori_binary_traits | This class contains property definitions related to two types to be used in polybori classes |
| Cpbori_binary_traits< OnlyType, OnlyType > | |
| Cpbori_traits | This class contains property definitions to be used in polybori classes |
| Cpbori_traits< dummy_iterator > | |
| Cpbori_traits< int > | |
| Cpbori_traits< long int > | |
| Cpbori_traits< std::set< ValueType > > | |
| Cpbori_traits< std::vector< ValueType > > | |
| Cpbori_traits< unsigned int > | |
| Cpbori_traits< void > | |
| CPBoRiError | This class is used for polybori's exception handling |
| CPBoRiGenericError | This template class is used for polybori's exception handling |
| CPBoRiOutIter | This template class defines an output iterator which interprets assignments of indices as a change of given data wrt. a given binary operation |
| CPolynomialFactory | This base class PolynomialFactory is used for currying polynomial constructors with a BoolePolyRing |
| Cproject_ith | Accessing ith of n arguments (ITH = 0 returns default value of first type) |
| Cproject_ith< 0, NLEN > | |
| Cproject_ith< 1, NLEN > | |
| Cproject_ith< 2, NLEN > | |
| Cproject_ith< 3, NLEN > | |
| Cpush_back | Accessing .push_back() |
| Cremove_assign | Accessing .removeAssign() |
| Cremove_assign< void, pbori_traits< void >::idx_type > | |
| Cremoves | Accessing .remove() |
| Cremoves< void, pbori_traits< void >::idx_type > | |
| Creversed_iteration_adaptor | |
| CSetFactory | This base class SetFactory is used for currying set constructors with a BoolePolyRing |
| Csizes_less | A functional for size comparisons |
| Csubset0_assign | Accessing .subset1Assign() |
| Csubset1_assign | Accessing .subset1Assign() |
| Csymmetric_composition | Compose a binary function with a default constructable unary function for both arguments |
| Ctimes_indexed_var | Defines multiplication operation with the idx-th variable |
| CTransformedIterator | This class defines the iterator of Trnasformed sequence |
| CTransformedSequence | This class converts a sequence-like structure when iterating |
| Ctuple | |
| Ctype_tag | This class marks a given type |
| CUnaryOperatorTraits | |
| CUnaryOperatorTraits< ResultType(*)(ArgType)> | |
| Cunite_assign | Accessing .uniteAssign() |
| Cvalid_tag | This class shows, whether a property of an order is valid |
| Cvariable_name | Defines generic access to variable names |
| CVariableBlock | This class defines a VariableBlock |
| CVariableFactory | This base class VariableFactory is used for currying variable constructors with a BoolePolyRing |
| CVariableIndexException | |
| CWeakRingPtr | This class defines WeakRingPtr |
| CCDDOperation | Generic class containing decision diagram operations |
| Cchange | Accessing .change() |
| Ceasy_equality_property | Defines generic base for properties |
| Cget_base | Declaration, which can be used to define base classes for inheritance of classes in advance |
| Cinsert | Accessing .insert() |
| Cproperty_owner | Defines generic base for properties |
| Creversed_iteration | Interchanges operator++ and operator-- of a given iterator |
