►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 |