Class Hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

• polybori::AddEliminationDegree< SizeType >
• append_indexed_divisor< DDType, IdxType >
• CCacheTypes::binary_cache_tag
  • CCacheTypes::block_degree
  • CCacheTypes::divide
  • CCacheTypes::divisorsof
  • CCacheTypes::exist_abstract
  • CCacheTypes::graded_part
  • CCacheTypes::has_factor_x
  • CCacheTypes::has_factor_x_plus_one
  • CCacheTypes::interpolate
  • CCacheTypes::interpolate_smallest_lex
  • CCacheTypes::is_rewriteable
  • CCacheTypes::ll_red_nf
  • CCacheTypes::mapping
  • CCacheTypes::minimal_mod
  • CCacheTypes::mod_varset
  • CCacheTypes::multiplesof
  • CCacheTypes::multiply_recursive
  • CCacheTypes::plug_1
  • CCacheTypes::union_xor
  • CCacheTypes::zeros
• BinaryOp
  • binary_composition< BinaryOp, FirstOp, SecondOp >
  • binary_composition< BinaryOp, UnaryOperation, UnaryOperation >
    • symmetric_composition< BinaryOp, UnaryOperation >
• binder1st
  • constant_binder_base< std::binder1st, BinaryFunction, BinaryFunction::first_argument_type, ConstantOp >
    • constant_binder1st< BinaryFunction, ConstantOp >
  • default_binder_base< std::binder1st, BinaryFunction, BinaryFunction::first_argument_type >
    • default_binder1st< BinaryFunction >
• binder2nd
  • constant_binder_base< std::binder2nd, BinaryFunction, BinaryFunction::second_argument_type, ConstantOp >
    • constant_binder2nd< BinaryFunction, ConstantOp >
  • default_binder_base< std::binder2nd, BinaryFunction, BinaryFunction::second_argument_type >
    • default_binder2nd< BinaryFunction >
• generic_hash_tags::bkdr_tag
• block_dlex_tag
• block_dp_asc_tag
• BlockOrderHelper
• BooleConstant
• BooleExponent
• BooleMonomial
• BoolePolynomial
• BooleVariable
• polybori::bounded_restricted_term< NaviType, DescendingProperty >
• CAbstractStackBase< NavigatorType >
• cached_block_deg< NavigatorType >
• cached_deg< NavigatorType >
• polybori::groebner::CacheManager
• CAuxTypes
  • BooleEnv
  • BooleRing
    • BoolePolyRing
  • COrderBase
    • BlockDegRevLexAscOrder
    • DegLexOrder
    • DegRevLexAscOrder
    • LexOrder
    • polybori::BlockDegLexOrder
  • CTypes
    • pbori_traits< dummy_iterator >
    • pbori_traits< int >
    • pbori_traits< long int >
    • pbori_traits< std::set< ValueType > >
    • pbori_traits< std::vector< ValueType > >
    • pbori_traits< unsigned int >
    • pbori_traits< void >
• CCacheManBase
• CCacheManBase< CTypes::manager_base, CacheType, ArgumentLength >
  • CCacheManagement< CacheType, ArgumentLength >
  • CCacheManagement< CacheType, 2 >
    • CCommutativeCacheManagement< CacheType >
      • CommutativeCacheManager< CacheType >
  • CCacheManagement< CacheType, CacheType::nargs >
    • CacheManager< CacheType >
• CCacheManBase< CTypes::manager_base, TagType, ArgumentLength >
  • CCacheManagement< TagType, 1 >
    • CDegreeCache< TagType, DDType >
  • CCacheManagement< TagType, 2 >
    • CBlockDegreeCache< TagType, DDType >
    • CDegreeArgumentCache< TagType, DDType >
• CCacheManBase< ManagerType, CacheType, 0 >
• CCacheManBase< ManagerType, CacheType, 1 >
• CCacheManBase< ManagerType, CacheType, 2 >
• CCacheManBase< ManagerType, CacheType, 3 >
• CCacheTypes
• CCompareEnums
  • BooleEnv
  • BooleRing
  • CTypes
• CCuddCore
• CCuddDDBase< DiagramType >
• CCuddDDBase< CCuddZDD >
  • CCuddZDD
• CCuddFirstIter
• CCuddGetNode
• CCuddInterface
• CCuddLikeMgrStorage< MgrType >
• CCuddNavigator
  • CCuddLastIter
• CDDInterfaceBase< DDType >
• CDDInterfaceBase< CuddLikeZDD >
  • CDDInterface< CuddLikeZDD >
    • BooleSet
• CDDManager
• CDDManagerBase< CuddLikeManType, StorageType >
• CDDManagerBase< CCuddInterface, CCuddInterface >
  • CDDManager< CCuddInterface >
• CDDManagerBase< CCuddInterface, const CCuddInterface & >
  • CDDManager< CCuddInterface & >
• CDDManagerBase< Cudd, Cudd & >
  • CDDManager< Cudd & >
• CDDManagerBase< Cudd, Cudd >
  • CDDManager< Cudd >
• CDDOperation
• CDDOperations< DDType, MonomType >
• CDegStackBase
  • CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType >
  • CDegTermStack< NavigatorType, DescendingProperty, valid_tag, BaseType >
    • CBlockTermStack< NavigatorType, DescendingProperty, BaseType >
• CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType >
• CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType >
• CDelayedTermIter< TermType, AppendOp, TerminalValueOp, DegIterBase >
• CDynamicOrderBase
  • CDynamicOrder< OrderType >
• CErrorEnums
  • CTypes
• CErrorInfo
• CExpGenerator< ExpType >
• CExpIter< NaviType, ExpType >
• CGenericIter< OrderType, NaviType, RefType >
• CGenericIter< OrderType, NaviType, BooleMonomial >
• ChainCriterion
• ChainVariableCriterion
• change
• change_assign< RhsType, LhsType >
• change_assign< void, pbori_traits< void >::idx_type >
• change_idx< RhsType, LhsType >
• changeAssign
• CIdxPath< IdxType, SeparatorType >
• CIdxVariable< IdxType, VarNameLit, VarHeadLit, VarTailLit >
• CIndexCacheHandle< NaviType >
• CIndexHandle< NaviType >
• CLiteralCodes
• CNamedManager
• constant_binder_base< BindType, BinaryFunction, ValueType, ConstantOp >
• COrderedIter< NavigatorType, MonomType >
  • CGenericOrderedIter< OrderType, NavigatorType, MonomType >
• COrderEnums
  • BooleEnv
  • BooleRing
  • CTypes
• COrderProperties< OrderType >
• count_tags< CCacheTypes::divisorsof_fixedpath >
• CPrintOperation< ValueType, LiteralType, StreamType >
• CRestrictedIter< Iterator, RestrictOp, IsValidTest >
• CStackSelector< OrderType, NaviType, BaseType >
• CStringLiteral< LitCode >
• CTermGenerator< TermType >
• CTermGenerator< BooleMonomial >
• CTermGeneratorBase
  • CTermGenerator< BooleExponent >
• CTermGeneratorBase< TermType, type_tag< BooleExponent > >
• CTermGeneratorBase< TermType, type_tag< BooleMonomial > >
• CTermGeneratorBase< TermType, type_tag< CTypes::size_type > >
• CTermIter< StackType, TermGeneratorType >
• CTermStackBase< NavigatorType, BaseType >
  • CTermStack< NavigatorType, Category, BaseType >
    • CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >
    • CDegStackCore< NavigatorType, valid_tag, Category, BaseType >
• cudd_error_traits< ErrorNumber >
• cudd_tag_number< Counted, Offset >
• CVariableIter< Iterator, VariableType >
• CVariableNames
• CWrappedStack< StackType >
• dd_add_assign< DDType >
• dd_operations< CTypes::dd_type::navigator >
• default_binder_base< BindType, BinaryFunction, ValueType >
• default_value< ValueType >
• DegOrderHelper
• generic_hash_tags::dek_tag
• generic_hash_tags::djb_tag
• dlex_tag
• dp_asc_tag
• polybori::dummy_data_type< DummyType >
• dummy_iterator
• easy_equality_property
• generic_hash_tags::elf_tag
• polybori::EliminationDegreeAdder< ExponentVectorType >
• equality_property< ValidityTag >
• equality_property< invalid_tag >
  • pbori_binary_traits< FirstType, SecondType >
  • pbori_traits< std::set< ValueType > >
  • pbori_traits< std::vector< ValueType > >
• equality_property< valid_tag >
  • pbori_traits< int >
  • pbori_traits< long int >
  • pbori_traits< unsigned int >
  • pbori_traits< void >
• GBTypes
• generate_index_map< Type >
• generic_hash_tags
  • generic_hash< VectorType, HashType, AlgTag, BitMask >
  • generic_sequence_hash< Iterator, HashType, AlgTag, BitMask >
• polybori::generic_iteration< DegLexOrder, Iterator >
• polybori::generic_iteration< DegRevLexAscOrder, Iterator >
• polybori::generic_iteration< LexOrder, Iterator >
• get_base
• get_node< DDType >
• polybori::groebner::GroebnerStrategy
• handle_else< NavigatorType >
• handle_error< ErrorNumber >
• handle_error< 0 >
• hashes< Type >
• HasTRepOrExtendedProductCriterion
• increment_count_tags< BaseTag >
• increment_count_tags< CCacheTypes::divisorsof_fixedpath >
  • count_tags< CCacheTypes::testwise_ternary >
• increment_count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x >
  • count_tags< CCacheTypes::has_factor_x_plus_y >
• increment_count_tags< CCacheTypes::testwise_ternary >
  • count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x >
• insert
• insert_assign< RhsType, LhsType >
• insert_assign< void, pbori_traits< void >::idx_type >
• insert_second_to_list< ListType, RhsType, LhsType >
• inserts< RhsType, LhsType >
• inserts< void, pbori_traits< void >::idx_type >
• integral_constant< IntType, INTCONST, ResultType >
• integral_constant< CTypes::bool_type, false >
  • is_same_type< Type1, Type2 >
• integral_constant< CTypes::bool_type, true >
  • is_same_type< Type, Type >
• internal_tag
• invalid_tag
• IsEcart0Predicate
• iterator_facade
  • COrderedIter< NavigatorType, BooleExponent >
    • CGenericOrderedIter< OrderType, NavigatorType, BooleExponent >
• generic_hash_tags::js_tag
• polybori::groebner::LessCombinedManySizesInStrat
• polybori::groebner::LessEcartThenLessWeightedLengthInStrat
• polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat
• polybori::groebner::LessWeightedLengthInStrat
• polybori::groebner::LessWeightedLengthInStratModified
• lex_tag
• LexBucket
• LexHelper
• LexOrderGreaterComparer
• LiteralFactorization
• lm_hashes< Type >
• polybori::groebner::LMLessCompare
• LMLessComparePS
• manager_traits< CuddLike >
• manager_traits< Cudd >
  • manager_traits< Cudd * >
  • manager_traits< DdManager * >
• mapped_new_node< MapType, VariableType, TermType, NodeType >
• maximum_iteration< ValueType >
• mgrcore_traits< Cudd >
• polybori::groebner::MonomialHasher
• navigates< DDType >
• navigator_tag
• CCacheTypes::no_cache_tag
  • CCacheTypes::no_cache
• NoData
• on_same_type< Type1, Type2, ThenType, ElseType >
• on_same_type< Type, Type, ThenType, ElseType >
• order_traits< OrderType >
• PairData
  • IJPairData
  • PolyPairData
  • VariablePairData
• PairE
• PairECompare
• PairLS
• PairLSCompare
• polybori::groebner::PairManager
• polybori::groebner::PairStatusSet
• pbori_base< CCacheManBase< CCuddInterface, CacheType, ArgumentLength > >
• pbori_base< CCacheManBase< Cudd, CacheType, ArgumentLength > >
• pbori_base< CExpIter< NaviType, ExpType > >
• pbori_base< CGenericIter< OrderType, NaviType, RefType > >
• pbori_binary_traits< OnlyType, OnlyType >
• pbori_hash
• pbori_traits< ValueType >
• PBoRiError
  • PBoRiGenericError< ErrorCode >
• PBoRiOutIter< DataType, RhsType, BinOp >
• generic_hash_tags::pjw_tag
• PolyEntry
• PolynomialSugar
• project_ith
• project_ith< 0, NLEN >
• project_ith< 1, NLEN >
• project_ith< 2, NLEN >
• project_ith< 3, NLEN >
• property_owner
• PSCompareByEl
• push_back< ListType, ValueType >
• remove_assign< RhsType, LhsType >
• remove_assign< void, pbori_traits< void >::idx_type >
• removes< RhsType, LhsType >
• removes< void, pbori_traits< void >::idx_type >
• reversed_iteration
• reversed_iteration_adaptor< BiIterator >
• generic_hash_tags::sdbm_tag
• SetBitUInt
• ShorterEliminationLength
• ShorterEliminationLengthModified
• simple_identity
• simple_increment
• generic_hash_tags::simple_tag
• sizes_less< ListType >
• polybori::groebner::SlimgbReduction< variant >
• subset0_assign< RhsType, LhsType >
• subset1_assign< RhsType, LhsType >
• CCacheTypes::ternary_cache_tag
  • CCacheTypes::divisorsof_fixedpath
  • CCacheTypes::has_factor_x_plus_y
  • CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x
  • CCacheTypes::testwise_ternary
• times_indexed_var< DDType, IdxType >
• type_tag< Type >
• CCacheTypes::unary_cache_tag
  • CCacheTypes::block_dlex_lead
  • CCacheTypes::contained_deg2
  • CCacheTypes::contained_variables
  • CCacheTypes::degree
  • CCacheTypes::dlex_lead
  • CCacheTypes::dp_asc_lead
  • CCacheTypes::include_divisors
  • CCacheTypes::map_every_x_to_x_plus_one
  • CCacheTypes::minimal_elements
  • CCacheTypes::used_variables
• unite_assign< RhsType, LhsType >
• valid_tag
• variable_name< ManagerType, IdxType, VarNameType >
• zdd_traits< CCuddZDD >
• zdd_traits< ZDD >
• ZeroFunction