Class Hierarchy

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

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