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 | |
Cpolybori::CCacheTypes::block_degree | |
Cpolybori::CCacheTypes::divide | |
Cpolybori::CCacheTypes::divisorsof | |
Cpolybori::CCacheTypes::exist_abstract | |
Cpolybori::CCacheTypes::graded_part | |
Cpolybori::CCacheTypes::has_factor_x | |
Cpolybori::CCacheTypes::has_factor_x_plus_one | |
Cpolybori::CCacheTypes::interpolate | |
Cpolybori::CCacheTypes::interpolate_smallest_lex | |
Cpolybori::CCacheTypes::is_rewriteable | |
Cpolybori::CCacheTypes::lead_tag< TagType > | |
Cpolybori::CCacheTypes::ll_red_nf | |
Cpolybori::CCacheTypes::mapping | |
Cpolybori::CCacheTypes::minimal_mod | |
Cpolybori::CCacheTypes::mod_varset | |
Cpolybori::CCacheTypes::multiplesof | |
Cpolybori::CCacheTypes::multiply_recursive | |
Cpolybori::CCacheTypes::plug_1 | |
Cpolybori::CCacheTypes::union_xor | |
Cpolybori::CCacheTypes::zeros | |
►Cbinary_function | |
Cpolybori::AddEliminationDegree< SizeType > | |
Cpolybori::insert_assign< RhsType, LhsType > | Accessing .insertAssign() |
Cpolybori::inserts< RhsType, LhsType > | Accessing .insert() |
Cpolybori::lex_compare_predicate< LhsType, RhsType, BinaryPredicate > | Defines lexicographic comparison functor |
Cpolybori::remove_assign< RhsType, LhsType > | Accessing .removeAssign() |
Cpolybori::removes< RhsType, LhsType > | Accessing .remove() |
Cpolybori::sizes_less< ListType > | A functional for size comparisons |
Cpolybori::unite_assign< RhsType, LhsType > | Accessing .uniteAssign() |
►CBinaryOp | |
►Cpolybori::binary_composition< BinaryOp, UnaryOperation, UnaryOperation > | |
Cpolybori::symmetric_composition< BinaryOp, UnaryOperation > | Compose a binary function with a default constructable unary function for both arguments |
Cpolybori::binary_composition< BinaryOp, FirstOp, SecondOp > | Compose a binary function with two default constructable unary functions |
►Cbinder1st | |
►Cpolybori::constant_binder_base< std::binder1st, BinaryFunction, BinaryFunction::first_argument_type, ConstantOp > | |
Cpolybori::constant_binder1st< BinaryFunction, ConstantOp > | |
►Cpolybori::default_binder_base< std::binder1st, BinaryFunction, BinaryFunction::first_argument_type > | |
Cpolybori::default_binder1st< BinaryFunction > | |
►Cbinder2nd | |
►Cpolybori::constant_binder_base< std::binder2nd, BinaryFunction, BinaryFunction::second_argument_type, ConstantOp > | |
Cpolybori::constant_binder2nd< BinaryFunction, ConstantOp > | |
►Cpolybori::default_binder_base< std::binder2nd, BinaryFunction, BinaryFunction::second_argument_type > | |
Cpolybori::default_binder2nd< BinaryFunction > | |
►CBindType | |
Cpolybori::constant_binder_base< BindType, BinaryFunction, ValueType, ConstantOp > | |
Cpolybori::default_binder_base< BindType, BinaryFunction, ValueType > | |
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::PseudoLongProduct | This class defines a delayed product of longs and comparison with LongLong Constant |
Cpolybori::groebner::BitMask< sizeof(unsigned long)*8 > | |
Cpolybori::block_tag< TagType > | Marker for block orderings |
Cpolybori::groebner::BlockOrderHelper | This class defines BlockOrderHelper |
Cpolybori::BooleSetSequence | This 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::CCuddDDFacade< BoolePolyRing, BooleSet > | |
►Cpolybori::BooleSet | |
Cpolybori::groebner::LLReductor | This class defines LLReductor |
Cpolybori::groebner::MinimalLeadingTerms | This class defines MinimalLeadingTerms |
Cpolybori::groebner::TermsFacade< NewType > | This class defines TermsFacade |
►Cpolybori::groebner::TermsFacade< LeadingTerms > | |
Cpolybori::groebner::LeadingTerms | This class defines LeadingTerms |
►Cpolybori::groebner::TermsFacade< LeadingTerms00 > | |
Cpolybori::groebner::LeadingTerms00 | This class defines LeadingTerms00 |
►Cpolybori::groebner::TermsFacade< LeadingTerms11 > | |
Cpolybori::groebner::LeadingTerms11 | This class defines LeadingTerms11 |
►Cpolybori::groebner::TermsFacade< MonomialPlusOneTerms > | |
Cpolybori::groebner::MonomialPlusOneTerms | This class defines MonomialPlusOneTerms |
►Cpolybori::groebner::TermsFacade< MonomialTerms > | |
Cpolybori::groebner::MonomialTerms | This class defines MonomialTerms |
►Cpolybori::CApplyNodeFacade< DiagramType, DdNode * > | |
Cpolybori::CCuddDDFacade< RingType, DiagramType > | This template class defines a facade for decision diagrams |
►Cpolybori::CAuxTypes | This struct contains auxiliary type definitions |
Cpolybori::CCuddDDFacade< BoolePolyRing, BooleSet > | |
Cpolybori::BooleEnv | This class is just a wrapper accessing global structures |
Cpolybori::BooleExponent | This class is just a wrapper for using variables for storing indices as interim data structure for BooleMonomial |
Cpolybori::BooleMonomial | This class is just a wrapper for using variables from cudd's decicion diagram |
Cpolybori::BoolePolynomial | This class wraps the underlying decicion diagram type and defines the necessary operations |
Cpolybori::BoolePolyRing | This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and variable names |
Cpolybori::BooleVariable | This class is just a wrapper for using variables from cudd's decicion diagram |
Cpolybori::CCheckedIdx | This class defines CCheckedIdx |
Cpolybori::CCuddCore | This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers |
Cpolybori::CCuddDDFacade< RingType, DiagramType > | This template class defines a facade for decision diagrams |
Cpolybori::CCuddInterface | This class defines a C++ interface to CUDD's decicion diagram manager |
Cpolybori::CDegreeArgumentCache< TagType, DDType > | |
►Cpolybori::COrderingBase | |
►Cpolybori::COrderingFacade< BlockDegLexOrder, block_dlex_tag > | |
►Cpolybori::CBlockOrderingFacade< BlockDegLexOrder, block_dlex_tag > | |
Cpolybori::BlockDegLexOrder | This class defines ordering related functions |
►Cpolybori::COrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag > | |
►Cpolybori::CBlockOrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag > | |
Cpolybori::BlockDegRevLexAscOrder | This class defines ordering related functions |
►Cpolybori::COrderingFacade< DegLexOrder, dlex_tag > | |
Cpolybori::DegLexOrder | This class defines ordering related functions |
►Cpolybori::COrderingFacade< DegRevLexAscOrder, dp_asc_tag > | |
Cpolybori::DegRevLexAscOrder | This class defines ordering related functions |
►Cpolybori::COrderingFacade< LexOrder, lex_tag > | |
Cpolybori::LexOrder | This class defines ordering related functions |
►Cpolybori::COrderingFacade< OrderType, OrderTag > | This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType. OrderType must inherit from COrderingFacade<OrderType> |
Cpolybori::CBlockOrderingFacade< OrderType, OrderTag > | This class implements block orderings for COrderingFacade. OrderType must inherit from COrderingFacade<OrderType> |
►Cpolybori::CTypes | This struct contains type definitions to be used in library classes |
Cpolybori::BooleConstant | This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet |
Cpolybori::pbori_traits< dummy_iterator > | |
Cpolybori::pbori_traits< int > | |
Cpolybori::pbori_traits< long int > | |
Cpolybori::pbori_traits< std::set< ValueType > > | |
Cpolybori::pbori_traits< std::vector< ValueType > > | |
Cpolybori::pbori_traits< unsigned int > | |
Cpolybori::pbori_traits< void > | |
►Cpolybori::PBoRiError | This class is used for polybori's exception handling |
Cpolybori::PBoRiGenericError< ErrorCode > | This template class is used for polybori's exception handling |
Cpolybori::dd_operations< CCuddNavigator > | |
►Cpolybori::CCacheManBase< ManagerType, CacheType, ArgumentLength > | This template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache |
►Cpolybori::CCacheManagement< ManagerType, CacheType, 2 > | |
Cpolybori::CCommutativeCacheManagement< ManagerType, CacheType > | |
Cpolybori::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 |
►Cpolybori::CCacheManBase< BoolePolyRing, CacheType, ArgumentLength > | |
►Cpolybori::CCacheManagement< BoolePolyRing, CacheType, 2 > | |
►Cpolybori::CCommutativeCacheManagement< BoolePolyRing, CacheType > | |
Cpolybori::CommutativeCacheManager< CacheType > | |
►Cpolybori::CCacheManagement< BoolePolyRing, CacheType, CacheType::nargs > | |
Cpolybori::CacheManager< CacheType > | |
►Cpolybori::CCacheManBase< BoolePolyRing, CCacheTypes::block_degree, ArgumentLength > | |
►Cpolybori::CCacheManagement< BoolePolyRing, CCacheTypes::block_degree, 2 > | |
Cpolybori::CBlockDegreeCache< BooleEnv::dd_type > | |
Cpolybori::CBlockDegreeCache< DDType > | |
►Cpolybori::CCacheManBase< BoolePolyRing, CCacheTypes::degree, ArgumentLength > | |
►Cpolybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 1 > | |
Cpolybori::CDegreeCache< BooleSet > | |
Cpolybori::CDegreeCache< DDType > | |
►Cpolybori::CCacheManagement< BoolePolyRing, CCacheTypes::degree, 2 > | |
Cpolybori::CBoundedDegreeCache< DDType > | |
►Cpolybori::CCacheManBase< BoolePolyRing, CCacheTypes::ll_red_nf, ArgumentLength > | |
►Cpolybori::CCacheManagement< BoolePolyRing, CCacheTypes::ll_red_nf, CCacheTypes::ll_red_nf::nargs > | |
Cpolybori::CacheManager< CCacheTypes::ll_red_nf > | |
►Cpolybori::CCacheManBase< BoolePolyRing, TagType, ArgumentLength > | |
►Cpolybori::CCacheManagement< BoolePolyRing, TagType, 2 > | |
Cpolybori::CDegreeArgumentCache< TagType, DDType > | |
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::CCallbackWrapper< MemberFuncPtr > | This template class defines a functional, which wraps operator .*, which is the callback of a dynamic member function wrt. a given object |
Cpolybori::CCallbackFacade< Type, void, ArgType > | Specialized variant for constant void member functions |
►Cpolybori::CCompareEnums | This struct contains type definitions and enumerations to be used for comparisons |
Cpolybori::BooleEnv | This class is just a wrapper accessing global structures |
Cpolybori::BoolePolyRing | This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and variable names |
Cpolybori::CTypes | This struct contains type definitions to be used in library classes |
Cpolybori::CCuddLikeMgrStorage< MgrType > | |
►Cpolybori::CCuddNavigator | This class defines an iterator for navigating through then and else branches of ZDDs |
Cpolybori::CCuddLastIter | This class defines an iterator over the last minimal term of a given ZDD node |
CCDDOperation | Generic class containing decision diagram operations |
Cpolybori::CDDOperations< DDType, MonomType > | |
Cpolybori::CDegStackBase< NavigatorType, BlockProperty, DescendingProperty, BaseType > | |
►Cpolybori::CDegStackBase< NavigatorType, DescendingProperty, BlockProperty, BaseType > | |
Cpolybori::CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType > | |
►Cpolybori::CDegStackBase< NavigatorType, DescendingProperty, valid_tag, BaseType > | |
►Cpolybori::CDegTermStack< NavigatorType, DescendingProperty, valid_tag, BaseType > | |
Cpolybori::CBlockTermStack< NavigatorType, DescendingProperty, BaseType > | |
Cpolybori::CDegStackCore< NavigatorType, BlockProperty, Category, BaseType > | |
►Cpolybori::CDegStackCore< NavigatorType, BlockProperty, std::bidirectional_iterator_tag, BaseType > | |
Cpolybori::CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType > | |
►Cpolybori::CDegStackCore< NavigatorType, BlockProperty, std::forward_iterator_tag, BaseType > | |
Cpolybori::CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType > | |
Cpolybori::CDelayedTermIter< class, class, class, class > | |
►Cpolybori::CErrorEnums | This struct contains type definitions and enumerations to be used for error codes |
Cpolybori::CTypes | This struct contains type definitions to be used in library classes |
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::CFactoryBase | This base class CFactoryBase is used for currying other constructors with a BoolePolyRing |
Cpolybori::groebner::ExpGreater | This class defines ExpGreater |
Cpolybori::groebner::PairECompare | This class defines PairECompare |
Cpolybori::MonomialFactory | This base class MonomialFactory is used for currying monomial constructors with a BoolePolyRing |
Cpolybori::PolynomialFactory | This base class PolynomialFactory is used for currying polynomial constructors with a BoolePolyRing |
Cpolybori::SetFactory | This base class SetFactory is used for currying set constructors with a BoolePolyRing |
►Cpolybori::VariableFactory | This base class VariableFactory is used for currying variable constructors with a BoolePolyRing |
Cpolybori::VariableBlock | This class defines a VariableBlock |
Cpolybori::groebner::ChainCriterion | This class defines ChainCriterion |
Cpolybori::groebner::ChainVariableCriterion | This class defines ChainVariableCriterion |
Cchange | Accessing .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::CLiteralCodes | This 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::CMemberFunctionTraits< ResultType(Type::*)(ArgType) const > | |
►Cpolybori::CMemberFunctionTraitsBase< Type, ResultType, ArgType, Type & > | |
Cpolybori::CMemberFunctionTraits< ResultType(Type::*)(ArgType)> | |
►Cpolybori::CMemberFunctionTraitsBase< Type, ResultType, void, const Type & > | |
Cpolybori::CMemberFunctionTraits< ResultType(Type::*)() const > | |
►Cpolybori::CMemberFunctionTraitsBase< Type, ResultType, void, Type & > | |
Cpolybori::CMemberFunctionTraits< ResultType(Type::*)()> | |
Cpolybori::CNodeCounter< NaviType > | This class defines CNodeCounter |
►Cpolybori::COrderEnums | This struct contains type definitions and enumerations to be used for order codes |
Cpolybori::BooleEnv | This class is just a wrapper accessing global structures |
Cpolybori::BoolePolyRing | This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and variable names |
Cpolybori::CCuddCore | This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers |
Cpolybori::CTypes | This struct contains type definitions to be used in library classes |
►Cpolybori::COrderingTags< OrderTag > | This tempalte class is base for classes which define ordering tags and properties |
Cpolybori::COrderingFacade< OrderType, OrderTag > | This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType. OrderType must inherit from COrderingFacade<OrderType> |
Cpolybori::COrderingTagsBase< OrderTag, LexProp, DegOrderProp, BlockOrderProp, DescendingProp, OrderedProp, TotelDegOrderProp, SymmetryProp > | |
►Cpolybori::COrderingTagsBase< block_dlex_tag, invalid_tag, invalid_tag, valid_tag, valid_tag > | |
►Cpolybori::CBlockDegreeOrderingTags< block_dlex_tag, valid_tag > | |
►Cpolybori::COrderingTags< block_dlex_tag > | |
Cpolybori::COrderingFacade< BlockDegLexOrder, block_dlex_tag > | |
►Cpolybori::COrderingTagsBase< block_dp_asc_tag, invalid_tag, invalid_tag, valid_tag, invalid_tag > | |
►Cpolybori::CBlockDegreeOrderingTags< block_dp_asc_tag, invalid_tag > | |
►Cpolybori::COrderingTags< block_dp_asc_tag > | |
Cpolybori::COrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag > | |
►Cpolybori::COrderingTagsBase< dlex_tag, invalid_tag, valid_tag, invalid_tag, valid_tag > | |
►Cpolybori::CDegreeOrderingTags< dlex_tag, valid_tag > | |
►Cpolybori::COrderingTags< dlex_tag > | |
Cpolybori::COrderingFacade< DegLexOrder, dlex_tag > | |
►Cpolybori::COrderingTagsBase< dp_asc_tag, invalid_tag, valid_tag, invalid_tag, invalid_tag > | |
►Cpolybori::CDegreeOrderingTags< dp_asc_tag, invalid_tag > | |
►Cpolybori::COrderingTags< dp_asc_tag > | |
Cpolybori::COrderingFacade< DegRevLexAscOrder, dp_asc_tag > | |
►Cpolybori::COrderingTagsBase< lex_tag, valid_tag, invalid_tag, invalid_tag, valid_tag > | |
►Cpolybori::COrderingTags< lex_tag > | |
Cpolybori::COrderingFacade< LexOrder, lex_tag > | |
►Cpolybori::COrderingTagsBase< OrderTag, invalid_tag, invalid_tag, valid_tag, DescProp > | |
Cpolybori::CBlockDegreeOrderingTags< OrderTag, DescProp > | |
►Cpolybori::COrderingTagsBase< OrderTag, invalid_tag, valid_tag, invalid_tag, DescProp > | |
Cpolybori::CDegreeOrderingTags< OrderTag, DescProp > | |
Cpolybori::count_tags< TagType > | |
Cpolybori::count_tags< CCacheTypes::divisorsof_fixedpath > | |
Cpolybori::groebner::CountCriterion | This 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< BooleExponent > | |
Cpolybori::CTermGenerator< BooleExponent > | |
►Cpolybori::CTermGeneratorBase__< BooleMonomial, type_tag< BooleMonomial > > | |
Cpolybori::CTermGenerator< BooleMonomial > | |
►Cpolybori::CTermGeneratorBase__< MonomType, type_tag< MonomType > > | |
►Cpolybori::CTermGeneratorBase< MonomType > | |
Cpolybori::CTermGenerator< 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::CTermGeneratorBase< TermType > | |
Cpolybori::CTermGenerator< 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::CCuddCore | This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers |
Cpolybori::dd_add_assign< DDType > | Defines addition operation with assignment for decision diagrams |
Cpolybori::dd_operations< DDType > | |
Cpolybori::default_value< ValueType > | |
Cpolybori::groebner::DegOrderHelper | This class defines DegOrderHelper |
►Cdeque | |
Cpolybori::handle_else< NavigatorType > | |
Cpolybori::DerefProxy< Type > | |
►Cdict | |
Cpolybori::dict | |
Cpolybori::dlex_tag | Marker for deg-lex ordering |
Cpolybori::dp_asc_tag | Marker for ascending deg-rev-lex ordering |
Cpolybori::dummy_data_type< DummyType > | |
Cpolybori::dummy_iterator | An iterator which virtually does nothing |
Ceasy_equality_property | Defines generic base for properties |
Cpolybori::EliminationDegreeAdder< ExponentVectorType > | |
Cpolybori::equality_property< ValidityTag > | |
►Cpolybori::equality_property< invalid_tag > | |
Cpolybori::pbori_binary_traits< FirstType, SecondType > | This class contains property definitions related to two types to be used in polybori classes |
Cpolybori::pbori_traits< std::set< ValueType > > | |
Cpolybori::pbori_traits< std::vector< ValueType > > | |
►Cpolybori::equality_property< valid_tag > | |
Cpolybori::pbori_traits< int > | |
Cpolybori::pbori_traits< long int > | |
Cpolybori::pbori_traits< unsigned int > | |
Cpolybori::pbori_traits< void > | |
►Cexception | |
Cpolybori::groebner::FGLMNoLinearCombinationException | |
Cpolybori::PBoRiError | This class is used for polybori's exception handling |
Cpolybori::groebner::ExpLexLess | This class defines ExpLexLess |
Cpolybori::groebner::FGLMStrategy | |
Cpolybori::groebner::GBTypes | |
Cpolybori::generate_index_map< Type > | |
Cpolybori::generic_iteration< OrderType, Iterator > | |
Cget_base | Declaration, which can be used to define base classes for inheritance of classes in advance |
Cpolybori::get_node< DDType > | |
Cpolybori::groebner::GetNthPoly | |
►Cpolybori::groebner::GroebnerOptions | This class defines options settings for GroebnerStrategy |
Cpolybori::groebner::GroebnerStrategy | This class defines GroebnerStrategy |
Cpolybori::hashes< Type > | |
Cpolybori::groebner::HasTRepOrExtendedProductCriterion | This class defines HasTRepOrExtendedProductCriterion |
Cpolybori::increment_count_tags< BaseTag > | |
►Cpolybori::increment_count_tags< CCacheTypes::divisorsof_fixedpath > | |
Cpolybori::count_tags< CCacheTypes::testwise_ternary > | |
►Cpolybori::increment_count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x > | |
Cpolybori::count_tags< CCacheTypes::has_factor_x_plus_y > | |
►Cpolybori::increment_count_tags< CCacheTypes::testwise_ternary > | |
Cpolybori::count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x > | |
Cinsert | Accessing .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::is_same_type< descending_property, polybori::valid_tag > | |
►Cpolybori::is_same_type< Type, valid_tag > | |
Cpolybori::is_valid< Type > | |
Cpolybori::is_same_type< Type1, Type2 > | This class tests whether two types equal |
►Cpolybori::integral_constant< CTypes::bool_type, true > | |
Cpolybori::is_same_type< Type, Type > | |
►Cpolybori::internal_tag | This class marks an internal part of a procedure |
►Cpolybori::CTermStackBase< NavigatorType, internal_tag > | |
►Cpolybori::CTermStack< NavigatorType, Category > | |
Cpolybori::CReverseTermStack< NavigatorType, Category > | This class defines an iterator for the monomials in a Boolean polynomial in reversed lexicographicxal order |
Cpolybori::Interpreter | |
Cpolybori::invalid_tag | This 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::IsEcart0Predicate | This class defines IsEcart0Predicate |
Cpolybori::groebner::IsVariableOfIndex | |
►Citerator_facade | |
►Cpolybori::COrderedIter< NavigatorType, BooleExponent > | |
Cpolybori::CGenericOrderedIter< OrderType, NavigatorType, BooleExponent > | |
Cpolybori::CCuddFirstIter | This class defines an iterator over the first minimal term of a given ZDD node |
►Cpolybori::COrderedIter< NavigatorType, MonomType > | |
Cpolybori::CGenericOrderedIter< OrderType, NavigatorType, MonomType > | |
Cpolybori::CTermIter< StackType, TermGeneratorType > | This class defines an iterator for the monomials in a Boolean polynomial |
Cpolybori::CVariableIter< Iterator, VariableType > | This template class defines an iterator for monomial types |
Cpolybori::TransformedIterator< IteratorType, OperatorType > | This class defines the iterator of Trnasformed sequence |
Cpolybori::groebner::LargerDegreeComparer | This class defines LargerDegreeComparer |
Cpolybori::groebner::LessCombinedManySizesInStrat | This class defines LessCombinedManySizesInStrat |
Cpolybori::groebner::LessEcartThenLessWeightedLengthInStrat | This class defines LessEcartThenLessWeightedLengthInStrat |
Cpolybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat | This class defines LessUsedTailVariablesThenLessWeightedLengthInStrat |
Cpolybori::groebner::LessWeightedLengthInStrat | This class defines LessWeightedLengthInStrat |
Cpolybori::groebner::LessWeightedLengthInStratModified | This class defines LessWeightedLengthInStratModified |
Cpolybori::lex_tag | Marker for lex ordering |
Cpolybori::groebner::LexBucket | |
Cpolybori::groebner::LexHelper | This class defines LexHelper |
Cpolybori::groebner::LexOrderGreaterComparer | This class defines LexOrderGreaterComparer |
Cpolybori::groebner::LiteralFactorization | |
Cpolybori::groebner::LiteralFactorizationIterator | This class defines LiteralFactorizationIterator |
Cpolybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication > | This class defines LLReduction |
Cpolybori::groebner::LMLessCompare | This class defines LMLessCompare |
Cpolybori::groebner::LMLessComparePS | This 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::groebner::Long64From32BitsPair< High, Low > | This class defines Long64From32BitsPair |
Cpolybori::manager_traits< CuddLike > | |
Cpolybori::mapped_new_node< MapType, VariableType, TermType, NodeType > | |
Cpolybori::groebner::MatrixMonomialOrderTables | This class defines MatrixMonomialOrderTables |
Cpolybori::maximum_iteration< ValueType > | Returns maximun of given argument and previous calls |
Cpolybori::MemberFunctionOperator< MemberFct > | |
Cpolybori::groebner::MonomialHasher | This class defines MonomialHasher |
Cpolybori::navigator_tag | For 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::NextSpoly | This class computes the next spoly for a generator pair |
►Cpolybori::CCacheTypes::no_cache_tag | |
Cpolybori::CCacheTypes::no_cache | |
►Cobject | |
Cpolybori::object | |
►Cobject_manager_traits | |
Cboost::python::converter::object_manager_traits< polybori::dict > | |
Cboost::python::converter::object_manager_traits< polybori::object > | |
Cboost::python::converter::object_manager_traits< polybori::tuple > | |
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::COrderingFacade< OrderType, OrderTag > | This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType. OrderType must inherit from COrderingFacade<OrderType> |
►Cpolybori::order_traits< block_dlex_tag > | |
Cpolybori::COrderingFacade< BlockDegLexOrder, block_dlex_tag > | |
►Cpolybori::order_traits< block_dp_asc_tag > | |
Cpolybori::COrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag > | |
Cpolybori::order_traits< block_tag< BaseOrderTag > > | |
►Cpolybori::order_traits< dlex_tag > | |
Cpolybori::COrderingFacade< DegLexOrder, dlex_tag > | |
►Cpolybori::order_traits< dp_asc_tag > | |
Cpolybori::COrderingFacade< DegRevLexAscOrder, dp_asc_tag > | |
►Cpolybori::order_traits< lex_tag > | |
Cpolybori::COrderingFacade< LexOrder, 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::PairData | This class defines PairData |
Cpolybori::groebner::IJPairData | This class defines IJPairData |
Cpolybori::groebner::PolyPairData | This class defines PolyPairData |
Cpolybori::groebner::VariablePairData | This class defines VariablePairData |
Cpolybori::groebner::PairE | This class defines PairE |
Cpolybori::groebner::PairLS | This class defines PairLS |
Cpolybori::groebner::PairLSCompare | This class defines PairLSCompare |
►Cpolybori::groebner::PairManager | This class defines PairManager |
Cpolybori::groebner::PairManagerWithStrategy< strategy_type > | |
Cpolybori::groebner::PairManagerWithStrategy< StrategyType > | This class extends PairManager with a reference to a strategy |
Cpolybori::groebner::PairManagerFacade< StrategyType > | This class defines a facade for a given Strategy, which |
►Cpolybori::groebner::PairManagerFacade< GroebnerStrategy > | |
Cpolybori::groebner::GroebnerStrategy | This class defines GroebnerStrategy |
Cpolybori::groebner::PairStatusSet | This 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::PolyEntryBase | This class defines the base of PolyEntry |
Cpolybori::groebner::PolyEntry | This class defines PolyEntry |
Cpolybori::groebner::PolyEntryIndices | This class defines PolyEntryIndices |
Cpolybori::groebner::PolyEntryPtrLmLess | This class compares pointers to PolyEntry by their leading monomials |
Cpolybori::groebner::PolyEntryReference | This class defines PolyEntryReference |
►Cpolybori::groebner::PolyEntryVector | |
Cpolybori::groebner::ReductionStrategy | This class defines ReductionStrategy |
Cpolybori::groebner::PolyMonomialPairComparerLess | This class defines PolyMonomialPairComparerLess |
Cpolybori::groebner::PolyMonomialPairComparerLexLess | This class defines PolyMonomialPairComparerLexLess |
Cpolybori::groebner::PolynomialSugar | This 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_owner | Defines generic base for properties |
Cpolybori::groebner::PSCompareByEl | This 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::ReductionOptions | This class defines option values for the ReductionStrategy |
Cpolybori::groebner::ReductionStrategy | This class defines ReductionStrategy |
►Cpolybori::groebner::ReductionTerms | This class defines term for ReductionStrategy |
Cpolybori::groebner::ReductionStrategy | This class defines ReductionStrategy |
►Cpolybori::groebner::RelatedTermsBase | This class deals as a base of RelatedTerns |
Cpolybori::groebner::RelatedTerms | This class finds those terms in a given set which are related to given terms |
Cpolybori::remove_assign< void, pbori_traits< void >::idx_type > | |
Cpolybori::removes< void, pbori_traits< void >::idx_type > | |
Creversed_iteration | Interchanges 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::SetBitUInt | This class defines SetBitUInt |
Cpolybori::groebner::ShorterEliminationLength | This class defines ShorterEliminationLength |
Cpolybori::groebner::ShorterEliminationLengthModified | This class defines ShorterEliminationLengthModified |
Cpolybori::groebner::SlimgbReduction< variant > | This class defines SlimgbReduction |
►CStackType | |
Cpolybori::CWrappedStack< StackType > | |
Cpolybori::subset0_assign< RhsType, LhsType > | Accessing .subset1Assign() |
Cpolybori::subset1_assign< RhsType, LhsType > | Accessing .subset1Assign() |
►Cpolybori::CCacheTypes::ternary_cache_tag | |
Cpolybori::CCacheTypes::divisorsof_fixedpath | |
Cpolybori::CCacheTypes::has_factor_x_plus_y | |
Cpolybori::CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x | |
Cpolybori::CCacheTypes::testwise_ternary | |
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 | |
Cpolybori::tuple | |
►Ctype | |
Cpolybori::CCacheManBase< ManagerType, CacheType, 0 > | |
Cpolybori::CCacheManBase< ManagerType, CacheType, 1 > | |
Cpolybori::CCacheManBase< ManagerType, CacheType, 2 > | |
Cpolybori::CCacheManBase< ManagerType, CacheType, 3 > | |
Cpolybori::CExpIter< NaviType, ExpType > | |
Cpolybori::CGenericIter< OrderType, NaviType, RefType > | |
Cpolybori::CReverseIter< OrderType, NaviType, RefType > | |
Cpolybori::type_tag< Type > | This class marks a given type |
►Cpolybori::CCacheTypes::unary_cache_tag | |
Cpolybori::CCacheTypes::contained_deg2 | |
Cpolybori::CCacheTypes::contained_variables | |
Cpolybori::CCacheTypes::degree | |
Cpolybori::CCacheTypes::include_divisors | |
Cpolybori::CCacheTypes::lex_lead | |
Cpolybori::CCacheTypes::map_every_x_to_x_plus_one | |
Cpolybori::CCacheTypes::minimal_elements | |
Cpolybori::CCacheTypes::used_variables | |
►Cunary_function | |
Cpolybori::groebner::BoundedDivisorsOf | This class defines defines a function for computing a bounded variant of MononmialSet's divisorsOf |
Cpolybori::groebner::PolyFromPolyEntry | This class defines an operator which extracts the Polynomial from a PolyEntry |
Cpolybori::navigates< DDType > | |
Cpolybori::UnaryOperatorTraits< UnaryFunc > | |
Cpolybori::UnaryOperatorTraits< ResultType(*)(ArgType)> | |
Cpolybori::valid_tag | This 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::groebner::RankingVector | This class defines RankingVector |
Cpolybori::WeakRingPtr | This class defines WeakRingPtr |
Cpolybori::groebner::ZeroFunction | This class defines ZeroFunction |
►CBaseType | |
►Cpolybori::CTermStackBase< NavigatorType, BaseType > | This class defines an iterator for the monomials in a Boolean polynomial |
►Cpolybori::CTermStack< NavigatorType, Category, BaseType > | This class defines an iterator for the monomials in a Boolean polynomial |
Cpolybori::CDegStackCore< NavigatorType, invalid_tag, Category, BaseType > | For pure degree stacks |
Cpolybori::CDegStackCore< NavigatorType, valid_tag, Category, BaseType > | For block stacks |