PolyBoRi
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 1234]
oCpolybori::AddEliminationDegree< SizeType >
oCpolybori::append_indexed_divisor< DDType, IdxType >Defines multiplication (with assignment) with the idx-th variable
oCpolybori::CCacheTypes::binary_cache_tag
oCBinaryOp
oCbinder1st
oCbinder2nd
oCgeneric_hash_tags::bkdr_tag
oCpolybori::block_dlex_tagMarker for block deg-lex ordering
oCpolybori::block_dp_asc_tagMarker for ascending block deg-rev-lex ordering
oCpolybori::BlockDegLexOrderThis class defines ordering related functions
oCpolybori::BlockDegRevLexAscOrderThis class defines ordering related functions
oCpolybori::groebner::BlockOrderHelper
oCpolybori::BooleConstantThis class wraps a bool value, which was not converted to a boolean polynomial or monomial yet
oCpolybori::BooleExponentThis class is just a wrapper for using variables for storing indices as interim data structure for BooleMonomial
oCpolybori::BooleMonomialThis class is just a wrapper for using variables from cudd's decicion diagram
oCpolybori::BoolePolynomialThis class wraps the underlying decicion diagram type and defines the necessary operations
oCpolybori::BooleVariableThis class is just a wrapper for using variables from cudd's decicion diagram
oCpolybori::bounded_restricted_term< NaviType, DescendingProperty >
oCpolybori::groebner::CacheManager
oCpolybori::CAuxTypesThis struct contains auxiliary type definitions
oCCCacheManBaseThis template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache
oCCCacheManBase< CTypes::manager_base, CacheType, ArgumentLength >
oCCCacheManBase< CTypes::manager_base, TagType, ArgumentLength >
oCpolybori::CCacheManBase< ManagerType, CacheType, 0 >
oCpolybori::CCacheManBase< ManagerType, CacheType, 1 >
oCpolybori::CCacheManBase< ManagerType, CacheType, 2 >
oCpolybori::CCacheManBase< ManagerType, CacheType, 3 >
oCpolybori::CCacheTypes
oCpolybori::CCompareEnumsThis struct contains type definitions and enumerations to be used for comparisons
oCpolybori::CCuddCoreThis class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers
oCpolybori::CCuddDDBase< DiagramType >This template class defines a C++ interface to CUDD's decision diagram structure
oCpolybori::CCuddDDBase< CCuddZDD >
oCpolybori::CCuddFirstIterThis class defines an iterator over the first minimal term of a given ZDD node
oCpolybori::CCuddGetNodeThis class defines a functional, which generates a new decision * diagram node wrt. a given indes and two nodes
oCpolybori::CCuddInterfaceThis class defines a C++ interface to CUDD's decicion diagram manager
oCpolybori::CCuddLikeMgrStorage< MgrType >
oCpolybori::CCuddNavigatorThis class defines an iterator for navigating through then and else branches of ZDDs
oCpolybori::CDDInterfaceBase< DDType >This is the common base for the specialized template class CDDInterface
oCpolybori::CDDInterfaceBase< CuddLikeZDD >
oCCDDManagerThis specialization of the template class CDDManager gives an interface to Cudd's ZDD manager reference
oCCDDManagerThis specialization of the template class CDDManager gives an interface to Cudd's ZDD manager
oCCDDManagerThis specialization of the template class CDDManager gives an interface to CCuddInterface's ZDD manager reference
oCCDDManagerThis specialization of the template class CDDManager gives an interface to CCuddInterface's ZDD manager
oCpolybori::CDDManagerBase< CuddLikeManType, StorageType >This specialization of the template class CDDManager gives an interface to Cudd-like ZDD manager (StorageType = CuddLikeManType) or a reference of the latter (StorageType = CuddLikeManType&)
oCpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >
oCpolybori::CDDManagerBase< CCuddInterface, const CCuddInterface & >
oCpolybori::CDDManagerBase< Cudd, Cudd & >
oCpolybori::CDDManagerBase< Cudd, Cudd >
oCCDDOperationGeneric class containing decision diagram operations
oCpolybori::CDDOperations< DDType, MonomType >
oCpolybori::CDelayedTermIter< TermType, AppendOp, TerminalValueOp, DegIterBase >This class defines extend a given PolyBoRi degree iterator
oCpolybori::CErrorEnumsThis struct contains type definitions and enumerations to be used for error codes
oCpolybori::CErrorInfo
oCpolybori::CExpGenerator< ExpType >
oCpolybori::CExpIter< NaviType, ExpType >
oCpolybori::groebner::ChainCriterionAssumes that divisibility condition is fullfilled
oCpolybori::groebner::ChainVariableCriterion
oCchangeAccessing .change()
oCpolybori::change_assign< RhsType, LhsType >Accessing .changeAssign()
oCpolybori::change_assign< void, pbori_traits< void >::idx_type >
oCpolybori::change_idx< RhsType, LhsType >
oCchangeAssignAccessing .change(); variante using member templates
oCCIdxPathThis template class defines a storage type for monomial indices and customizable "pretty" printing
oCpolybori::CIdxPath< IdxType, SeparatorType >
oCCIdxVariableThis template class defines a storage type for one monomial index and customizable "pretty" printing
oCpolybori::CIdxVariable< IdxType, VarNameLit, VarHeadLit, VarTailLit >
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::CLiteralCodesThis template class defines enumerative codes for the string literals defined by the CStringLiterals class
oCpolybori::constant_binder_base< BindType, BinaryFunction, ValueType, ConstantOp >
oCpolybori::COrderEnumsThis struct contains type definitions and enumerations to be used for order codes
oCpolybori::COrderProperties< OrderType >This class determins ordering dependent properties
oCpolybori::count_tags< CCacheTypes::divisorsof_fixedpath >
oCpolybori::CPrintOperation< ValueType, LiteralType, StreamType >This template prints a string literal to stream as operation
oCpolybori::CRestrictedIter< Iterator, RestrictOp, IsValidTest >
oCpolybori::CStringLiteral< LitCode >This template class defines string literals corresponding to the codes enumerated in the class CLiteralCodes
oCpolybori::CTermGenerator< TermType >
oCpolybori::CTermGenerator< BooleMonomial >
oCpolybori::CTermGeneratorBase< TermType, type_tag< BooleExponent > >
oCpolybori::CTermGeneratorBase< TermType, type_tag< BooleMonomial > >
oCpolybori::CTermGeneratorBase< TermType, type_tag< CTypes::size_type > >
oCpolybori::CTermIter< StackType, TermGeneratorType >This class defines an iterator for the monomials in a Boolean polynomial
oCpolybori::cudd_error_traits< ErrorNumber >
oCpolybori::cudd_tag_number< Counted, Offset >
oCpolybori::CVariableIter< Iterator, VariableType >This template class defines an iterator for monomial types
oCpolybori::CVariableNames
oCpolybori::dd_add_assign< DDType >Defines addition operation with assignment for decision diagrams
oCpolybori::dd_operations< CTypes::dd_type::navigator >
oCpolybori::default_binder_base< BindType, BinaryFunction, ValueType >
oCpolybori::default_value< ValueType >
oCpolybori::DegLexOrderThis class defines ordering related functions
oCpolybori::groebner::DegOrderHelper
oCpolybori::DegRevLexAscOrderThis class defines ordering related functions
oCgeneric_hash_tags::dek_tag
oCgeneric_hash_tags::djb_tag
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
oCgeneric_hash_tags::elf_tag
oCpolybori::EliminationDegreeAdder< ExponentVectorType >
oCpolybori::equality_property< ValidityTag >
oCpolybori::equality_property< invalid_tag >
oCpolybori::equality_property< valid_tag >
oCpolybori::groebner::GBTypes
oCpolybori::generate_index_map< Type >
oCgeneric_hash_tags
oCpolybori::generic_iteration< DegLexOrder, Iterator >
oCpolybori::generic_iteration< DegRevLexAscOrder, Iterator >
oCpolybori::generic_iteration< LexOrder, Iterator >
oCget_baseDeclaration, which can be used to define base classes for inheritance of classes in advance
oCpolybori::get_node< DDType >
oCpolybori::groebner::GroebnerStrategy
oCpolybori::handle_else< NavigatorType >
oCpolybori::handle_error< ErrorNumber >
oCpolybori::handle_error< 0 >
oCpolybori::hashes< Type >
oCpolybori::groebner::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< RhsType, LhsType >Accessing .insertAssign()
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< RhsType, LhsType >Accessing .insert()
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< CTypes::bool_type, false >
oCpolybori::integral_constant< CTypes::bool_type, true >
oCpolybori::internal_tagThis class marks an internal part of a procedure
oCpolybori::invalid_tagThis class shows, whether a property of an order is invalid
oCpolybori::groebner::IsEcart0Predicate
oCgeneric_hash_tags::js_tag
oCpolybori::groebner::LessCombinedManySizesInStrat
oCpolybori::groebner::LessEcartThenLessWeightedLengthInStrat
oCpolybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat
oCpolybori::groebner::LessWeightedLengthInStrat
oCpolybori::groebner::LessWeightedLengthInStratModified
oCpolybori::lex_tagMarker for lex ordering
oCpolybori::groebner::LexBucket
oCpolybori::groebner::LexHelper
oCpolybori::LexOrderThis class defines ordering related functions
oCpolybori::groebner::LexOrderGreaterComparer
oCpolybori::groebner::LiteralFactorization
oCpolybori::lm_hashes< Type >
oCpolybori::groebner::LMLessCompare
oCpolybori::groebner::LMLessComparePS
oCpolybori::manager_traits< CuddLike >
oCpolybori::manager_traits< Cudd >
oCpolybori::mapped_new_node< MapType, VariableType, TermType, NodeType >
oCpolybori::maximum_iteration< ValueType >Returns maximun of given argument and previous calls
oCpolybori::mgrcore_traits< Cudd >
oCpolybori::groebner::MonomialHasher
oCpolybori::navigates< DDType >
oCpolybori::navigator_tagFor iterator_category
oCpolybori::CCacheTypes::no_cache_tag
oCpolybori::NoData
oCpolybori::on_same_type< Type1, Type2, ThenType, ElseType >This class switches betweem two types, depending on equality of types
oCpolybori::on_same_type< Type, Type, ThenType, ElseType >
oCpolybori::order_traits< OrderType >
oCpolybori::groebner::PairData
oCpolybori::groebner::PairE
oCpolybori::groebner::PairECompare
oCpolybori::groebner::PairLS
oCpolybori::groebner::PairLSCompare
oCpolybori::groebner::PairManager
oCpolybori::groebner::PairStatusSet
oCpolybori::pbori_base< CCacheManBase< CCuddInterface, CacheType, ArgumentLength > >
oCpolybori::pbori_base< CCacheManBase< Cudd, CacheType, ArgumentLength > >
oCpolybori::pbori_base< CExpIter< NaviType, ExpType > >
oCpolybori::pbori_binary_traits< OnlyType, OnlyType >
oCpbori_hashFor information on hashes, see http://www.partow.net/programming/hashfunctions/ We did not use his implementation, because it is CPLed, but all algorithms used here are prior arts (published before Arash Partow)
oCpolybori::pbori_traits< ValueType >This class contains property definitions to be used in polybori classes
oCpolybori::PBoRiErrorThis class is used for polybori's exception handling
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
oCgeneric_hash_tags::pjw_tag
oCpolybori::groebner::PolyEntry
oCpolybori::groebner::PolynomialSugar
oCproject_ithVirtually does nothing with the given arguments
oCproject_ithProject to the third of all given arguments
oCproject_ithIs the identity functional or projection to first argument
oCproject_ithProject to the second of all given arguments
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::PSCompareByEl
oCpolybori::push_back< ListType, ValueType >Accessing .push_back()
oCpolybori::remove_assign< RhsType, LhsType >Accessing .removeAssign()
oCpolybori::remove_assign< void, pbori_traits< void >::idx_type >
oCpolybori::removes< RhsType, LhsType >Accessing .remove()
oCpolybori::removes< void, pbori_traits< void >::idx_type >
oCreversed_iterationInterchanges operator++ and operator– of a given iterator
oCpolybori::reversed_iteration_adaptor< BiIterator >
oCgeneric_hash_tags::sdbm_tag
oCpolybori::groebner::SetBitUInt
oCpolybori::groebner::ShorterEliminationLength
oCpolybori::groebner::ShorterEliminationLengthModified
oCsimple_identity
oCsimple_increment
oCgeneric_hash_tags::simple_tag
oCpolybori::sizes_less< ListType >A functional for size comparisons
oCpolybori::groebner::SlimgbReduction< variant >
oCpolybori::subset0_assign< RhsType, LhsType >
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::type_tag< Type >This class marks a given type
oCpolybori::CCacheTypes::unary_cache_tag
oCpolybori::unite_assign< RhsType, LhsType >Accessing .uniteAssign()
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::zdd_traits< CCuddZDD >
oCpolybori::zdd_traits< ZDD >
\Cpolybori::groebner::ZeroFunction