Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
polybori::AddEliminationDegree< SizeType >
append_indexed_divisor< DDType, IdxType >Defines multiplication (with assignment) with the idx-th variable
CCacheTypes::binary_cache_tag
binary_composition< BinaryOp, FirstOp, SecondOp >Compose a binary function with two default constructable unary functions
BinaryOp
binder1st
binder2nd
generic_hash_tags::bkdr_tag
CCacheTypes::block_degree
CCacheTypes::block_dlex_lead
block_dlex_tagMarker for block deg-lex ordering
block_dp_asc_tagMarker for ascending block deg-rev-lex ordering
polybori::BlockDegLexOrderThis class defines ordering related functions
BlockDegRevLexAscOrderThis class defines ordering related functions
BlockOrderHelper
BooleConstantThis class wraps a bool value, which was not converted to a boolean polynomial or monomial yet
BooleEnvThis class is just a wrapper accessing global structures
BooleExponentThis class is just a wrapper for using variables for storing indices as interim data structure for BooleMonomial
BooleMonomialThis class is just a wrapper for using variables from cudd's decicion diagram
BoolePolynomialThis class wraps the underlying decicion diagram type and defines the necessary operations
BoolePolyRingThis class adds order-related functionality to BooleRing
BooleRingThis class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings
BooleSet
BooleVariableThis class is just a wrapper for using variables from cudd's decicion diagram
polybori::bounded_restricted_term< NaviType, DescendingProperty >
CAbstractStackBase< NavigatorType >
cached_block_deg< NavigatorType >
cached_deg< NavigatorType >
CacheManager< CacheType >
polybori::groebner::CacheManager
CAuxTypesThis struct contains auxiliary type definitions
CBlockDegreeCache< TagType, DDType >
CBlockTermStack< NavigatorType, DescendingProperty, BaseType >
CCacheManagement< CacheType, ArgumentLength >This template class forms the base for CCommutativeCacheManagement and CacheManager. It is an interface defining find and insert on decision diagram cache
CCacheManBaseThis template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache
CCacheManBase< ManagerType, CacheType, 0 >
CCacheManBase< ManagerType, CacheType, 1 >
CCacheManBase< ManagerType, CacheType, 2 >
CCacheManBase< ManagerType, CacheType, 3 >
CCacheTypes
CCommutativeCacheManagement< CacheType >
CCompareEnumsThis struct contains type definitions and enumerations to be used for comparisons
CCuddCoreThis class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers
CCuddDDBase< DiagramType >This template class defines a C++ interface to CUDD's decision diagram structure
CCuddFirstIterThis class defines an iterator over the first minimal term of a given ZDD node
CCuddGetNodeThis class defines a functional, which generates a new decision * diagram node wrt. a given indes and two nodes
CCuddInterfaceThis class defines a C++ interface to CUDD's decicion diagram manager
CCuddLastIterThis class defines an iterator over the last minimal term of a given ZDD node
CCuddLikeMgrStorage< MgrType >
CCuddNavigatorThis class defines an iterator for navigating through then and else branches of ZDDs
CCuddZDDThis class defines a C++ interface to CUDD's zero-suppressed decision diagram structure
CDDInterface< CuddLikeZDD >
CDDInterfaceBase< DDType >This is the common base for the specialized template class CDDInterface
CDDManagerThis specialization of the template class CDDManager gives an interface to Cudd's ZDD manager reference
CDDManager< CCuddInterface & >
CDDManager< CCuddInterface >
CDDManager< Cudd & >
CDDManager< Cudd >
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&)
CDDOperationGeneric class containing decision diagram operations
CDDOperations< DDType, MonomType >
CDegreeArgumentCache< TagType, DDType >
CDegreeCache< TagType, DDType >
CDegStackBase
CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType >
CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType >
CDegStackCore< NavigatorType, invalid_tag, Category, BaseType >For pure degree stacks
CDegStackCore< NavigatorType, valid_tag, Category, BaseType >For block stacks
CDegTermStack< NavigatorType, DescendingProperty, BlockProperty, BaseType >
CDelayedTermIter< TermType, AppendOp, TerminalValueOp, DegIterBase >This class defines extend a given PolyBoRi degree iterator
CDynamicOrder< OrderType >This class initialize the interface for orderings of CDynamicOrderBase
CDynamicOrderBaseThis class initialize the interface for runtime-switchable orderings
CErrorEnumsThis struct contains type definitions and enumerations to be used for error codes
CErrorInfo
CExpGenerator< ExpType >
CExpIter< NaviType, ExpType >
CGenericIter< OrderType, NaviType, RefType >
CGenericIter< OrderType, NaviType, BooleMonomial >
CGenericOrderedIter< OrderType, NavigatorType, MonomType >
CGenericOrderedIter< OrderType, NavigatorType, BooleExponent >
ChainCriterionAssumes that divisibility condition is fullfilled
ChainVariableCriterion
changeAccessing .change()
change_assign< RhsType, LhsType >Accessing .changeAssign()
change_assign< void, pbori_traits< void >::idx_type >
change_idx< RhsType, LhsType >
changeAssignAccessing .change(); variante using member templates
CIdxPath< IdxType, SeparatorType >This template class defines a storage type for monomial indices and customizable "pretty" printing
CIdxVariable< IdxType, VarNameLit, VarHeadLit, VarTailLit >This template class defines a storage type for one monomial index and customizable "pretty" printing
CIndexCacheHandle< NaviType >
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)
CLiteralCodesThis template class defines enumerative codes for the string literals defined by the CStringLiterals class
CNamedManagerThis class adds an interface for variable names to CDDManager<>
CommutativeCacheManager< CacheType >
constant_binder1st< BinaryFunction, ConstantOp >
constant_binder2nd< BinaryFunction, ConstantOp >
constant_binder_base< BindType, BinaryFunction, ValueType, ConstantOp >
CCacheTypes::contained_deg2
CCacheTypes::contained_variables
COrderBaseThis class defines ordering related functions
COrderedIter< NavigatorType, MonomType >
COrderEnumsThis struct contains type definitions and enumerations to be used for order codes
COrderProperties< OrderType >This class determins ordering dependent properties
count_tags< CCacheTypes::divisorsof_fixedpath >
count_tags< CCacheTypes::has_factor_x_plus_y >
count_tags< CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x >
count_tags< CCacheTypes::testwise_ternary >
CPrintOperation< ValueType, LiteralType, StreamType >This template prints a string literal to stream as operation
CRestrictedIter< Iterator, RestrictOp, IsValidTest >
CStackSelector< OrderType, NaviType, BaseType >
CStringLiteral< LitCode >This template class defines string literals corresponding to the codes enumerated in the class CLiteralCodes
CTermGenerator< TermType >
CTermGenerator< BooleMonomial >
CTermGeneratorBase
CTermGeneratorBase< TermType, type_tag< BooleExponent > >
CTermGeneratorBase< TermType, type_tag< BooleMonomial > >
CTermGeneratorBase< TermType, type_tag< CTypes::size_type > >
CTermIter< StackType, TermGeneratorType >This class defines an iterator for the monomials in a Boolean polynomial
CTermStack< NavigatorType, Category, BaseType >This class defines an iterator for the monomials in a Boolean polynomial
CTermStackBase< NavigatorType, BaseType >
CTypesThis struct contains type definitions to be used in library classes
cudd_error_traits< ErrorNumber >
cudd_tag_number< Counted, Offset >
CVariableIter< Iterator, VariableType >This template class defines an iterator for monomial types
CVariableNames
CWrappedStack< StackType >
dd_add_assign< DDType >Defines addition operation with assignment for decision diagrams
dd_operations< CTypes::dd_type::navigator >
default_binder1st< BinaryFunction >
default_binder2nd< BinaryFunction >
default_binder_base< BindType, BinaryFunction, ValueType >
default_value< ValueType >
DegLexOrderThis class defines ordering related functions
DegOrderHelper
CCacheTypes::degree
DegRevLexAscOrderThis class defines ordering related functions
generic_hash_tags::dek_tag
CCacheTypes::divide
CCacheTypes::divisorsof
CCacheTypes::divisorsof_fixedpath
generic_hash_tags::djb_tag
CCacheTypes::dlex_lead
dlex_tagMarker for deg-lex ordering
CCacheTypes::dp_asc_lead
dp_asc_tagMarker for ascending deg-rev-lex ordering
polybori::dummy_data_type< DummyType >
dummy_iteratorAn iterator which virtually does nothing
easy_equality_propertyDefines generic base for properties
generic_hash_tags::elf_tag
polybori::EliminationDegreeAdder< ExponentVectorType >
equality_property< ValidityTag >
CCacheTypes::exist_abstract
GBTypes
generate_index_map< Type >
generic_hash< VectorType, HashType, AlgTag, BitMask >
generic_hash_tags
polybori::generic_iteration< DegLexOrder, Iterator >
polybori::generic_iteration< DegRevLexAscOrder, Iterator >
polybori::generic_iteration< LexOrder, Iterator >
generic_sequence_hash< Iterator, HashType, AlgTag, BitMask >
get_baseDeclaration, which can be used to define base classes for inheritance of classes in advance
get_node< DDType >
CCacheTypes::graded_part
polybori::groebner::GroebnerStrategy
handle_else< NavigatorType >
handle_error< ErrorNumber >
handle_error< 0 >
CCacheTypes::has_factor_x
CCacheTypes::has_factor_x_plus_one
CCacheTypes::has_factor_x_plus_y
hashes< Type >
HasTRepOrExtendedProductCriterion
IJPairData
CCacheTypes::include_divisors
increment_count_tags< BaseTag >
insertAccessing .insert()
insert_assign< RhsType, LhsType >Accessing .insertAssign()
insert_assign< void, pbori_traits< void >::idx_type >
insert_second_to_list< ListType, RhsType, LhsType >Insert second argument to a given list
inserts< RhsType, LhsType >Accessing .insert()
inserts< void, pbori_traits< void >::idx_type >
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
internal_tagThis class marks an internal part of a procedure
CCacheTypes::interpolate
CCacheTypes::interpolate_smallest_lex
invalid_tagThis class shows, whether a property of an order is invalid
CCacheTypes::is_rewriteable
is_same_type< Type1, Type2 >This class tests whether two types equal
is_same_type< Type, Type >
IsEcart0Predicate
iterator_facade
generic_hash_tags::js_tag
CCacheTypes::left_equals_right_x_branch_and_r_has_fac_x
polybori::groebner::LessCombinedManySizesInStrat
polybori::groebner::LessEcartThenLessWeightedLengthInStrat
polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat
polybori::groebner::LessWeightedLengthInStrat
polybori::groebner::LessWeightedLengthInStratModified
lex_tagMarker for lex ordering
LexBucket
LexHelper
LexOrderThis class defines ordering related functions
LexOrderGreaterComparer
LiteralFactorization
CCacheTypes::ll_red_nf
lm_hashes< Type >
polybori::groebner::LMLessCompare
LMLessComparePS
manager_traits< CuddLike >
manager_traits< Cudd * >
manager_traits< Cudd >
manager_traits< DdManager * >
CCacheTypes::map_every_x_to_x_plus_one
mapped_new_node< MapType, VariableType, TermType, NodeType >
CCacheTypes::mapping
maximum_iteration< ValueType >Returns maximun of given argument and previous calls
mgrcore_traits< Cudd >
CCacheTypes::minimal_elements
CCacheTypes::minimal_mod
CCacheTypes::mod_varset
polybori::groebner::MonomialHasher
CCacheTypes::multiplesof
CCacheTypes::multiply_recursive
navigates< DDType >
navigator_tagFor iterator_category
CCacheTypes::no_cache
CCacheTypes::no_cache_tag
NoData
on_same_type< Type1, Type2, ThenType, ElseType >This class switches betweem two types, depending on equality of types
on_same_type< Type, Type, ThenType, ElseType >
order_traits< OrderType >
PairData
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< FirstType, SecondType >This class contains property definitions related to two types to be used in polybori classes
pbori_binary_traits< OnlyType, OnlyType >
pbori_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)
pbori_traits< ValueType >This class contains property definitions to be used in polybori classes
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 >
PBoRiErrorThis class is used for polybori's exception handling
PBoRiGenericError< ErrorCode >This template class is used for polybori's exception handling
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
generic_hash_tags::pjw_tag
CCacheTypes::plug_1
PolyEntry
PolynomialSugar
PolyPairData
project_ithVirtually does nothing with the given arguments
project_ith< 0, NLEN >
project_ith< 1, NLEN >
project_ith< 2, NLEN >
project_ith< 3, NLEN >
property_ownerDefines generic base for properties
PSCompareByEl
push_back< ListType, ValueType >Accessing .push_back()
remove_assign< RhsType, LhsType >Accessing .removeAssign()
remove_assign< void, pbori_traits< void >::idx_type >
removes< RhsType, LhsType >Accessing .remove()
removes< void, pbori_traits< void >::idx_type >
reversed_iterationInterchanges operator++ and operator-- of a given iterator
reversed_iteration_adaptor< BiIterator >
generic_hash_tags::sdbm_tag
SetBitUInt
ShorterEliminationLength
ShorterEliminationLengthModified
simple_identity
simple_increment
generic_hash_tags::simple_tag
sizes_less< ListType >A functional for size comparisons
polybori::groebner::SlimgbReduction< variant >
subset0_assign< RhsType, LhsType >
subset1_assign< RhsType, LhsType >Accessing .subset1Assign()
symmetric_composition< BinaryOp, UnaryOperation >Compose a binary function with a default constructable unary function for both arguments
CCacheTypes::ternary_cache_tag
CCacheTypes::testwise_ternary
times_indexed_var< DDType, IdxType >Defines multiplication operation with the idx-th variable
type_tag< Type >This class marks a given type
CCacheTypes::unary_cache_tag
CCacheTypes::union_xor
unite_assign< RhsType, LhsType >Accessing .uniteAssign()
CCacheTypes::used_variables
valid_tagThis class shows, whether a property of an order is valid
variable_name< ManagerType, IdxType, VarNameType >Defines generic access to variable names
VariablePairData
zdd_traits< CCuddZDD >
zdd_traits< ZDD >
ZeroFunction
CCacheTypes::zeros
Generated on Wed May 5 21:35:29 2010 for PolyBoRi by  doxygen 1.6.3