Class List
Here are the classes, structs, unions and interfaces with brief descriptions:

boost |
python |
converter |
object_manager_traits< polybori::dict > |
object_manager_traits< polybori::object > |
object_manager_traits< polybori::tuple > |
polybori |
groebner |
BitMask | This class defines a bit mask and related operations
BitMask< 0 > |
BitMask< sizeof(unsigned long)*8 > |
BlockOrderHelper | This class defines BlockOrderHelper
BoundedDivisorsOf | This class defines defines a function for computing a bounded variant of `MononmialSet's` `divisorsOf`
CacheManager |
ChainCriterion | This class defines ChainCriterion
ChainVariableCriterion | This class defines ChainVariableCriterion
CheckChainCriterion | This class defines CheckChainCriterion
CountCriterion | This class defines CountCriterion
DegOrderHelper | This class defines DegOrderHelper
ExpGreater | This class defines ExpGreater
ExpLexLess | This class defines ExpLexLess
FGLMNoLinearCombinationException |
FGLMStrategy |
GBTypes |
GetNthPoly |
GroebnerOptions | This class defines options settings for `GroebnerStrategy`
GroebnerStrategy | This class defines GroebnerStrategy
HasTRepOrExtendedProductCriterion | This class defines HasTRepOrExtendedProductCriterion
IJPairData | This class defines IJPairData
IsEcart0Predicate | This class defines IsEcart0Predicate
IsVariableOfIndex |
LargerDegreeComparer | This class defines LargerDegreeComparer
LeadingTerms | This class defines LeadingTerms
LeadingTerms00 | This class defines LeadingTerms00
LeadingTerms11 | This class defines LeadingTerms11
LessCombinedManySizesInStrat | This class defines LessCombinedManySizesInStrat
LessEcartThenLessWeightedLengthInStrat | This class defines LessEcartThenLessWeightedLengthInStrat
LessUsedTailVariablesThenLessWeightedLengthInStrat | This class defines LessUsedTailVariablesThenLessWeightedLengthInStrat
LessWeightedLengthInStrat | This class defines LessWeightedLengthInStrat
LessWeightedLengthInStratModified | This class defines LessWeightedLengthInStratModified
LexBucket |
LexHelper | This class defines LexHelper
LexOrderGreaterComparer | This class defines LexOrderGreaterComparer
LiteralFactorization |
LiteralFactorizationIterator | This class defines LiteralFactorizationIterator
LLReduction | This class defines LLReduction
LLReductor | This class defines LLReductor
LMLessCompare | This class defines LMLessCompare
LMLessComparePS | This class defines LMLessComparePS
Long64From32BitsPair | This class defines Long64From32BitsPair
Long64From32BitsPairBase | This class defines an auxiliary class for `Long64From32BitsPair`
Long64From32BitsPairBase< High, Low, 4 > |
Long64From32BitsPairBase< High, Low, 8 > |
MatrixMonomialOrderTables | This class defines MatrixMonomialOrderTables
MinimalLeadingTerms | This class defines MinimalLeadingTerms
MonomialHasher | This class defines MonomialHasher
MonomialPlusOneTerms | This class defines MonomialPlusOneTerms
MonomialTerms | This class defines MonomialTerms
NBitsUsed | This class defines `NBitsUsed` whose value attribute computes the actual number of used bits at compile time
NBitsUsed< 0 > |
NextSpoly | This class computes the next spoly for a generator pair
PairData | This class defines PairData
PairE | This class defines PairE
PairECompare | This class defines PairECompare
PairLS | This class defines PairLS
PairLSCompare | This class defines PairLSCompare
PairManager | This class defines PairManager
PairManagerFacade | This class defines a facade for a given Strategy, which
PairManagerWithStrategy | This class extends `PairManager` with a reference to a strategy
PairStatusSet | This class defines PairStatusSet
PolyEntry | This class defines PolyEntry
PolyEntryBase | This class defines the base of `PolyEntry`
PolyEntryIndices | This class defines PolyEntryIndices
PolyEntryPtrLmLess | This class compares pointers to PolyEntry by their leading monomials
PolyEntryReference | This class defines `PolyEntryReference`
PolyEntryVector |
PolyFromPolyEntry | This class defines an operator which extracts the Polynomial from a PolyEntry
PolyMonomialPairComparerLess | This class defines PolyMonomialPairComparerLess
PolyMonomialPairComparerLexLess | This class defines PolyMonomialPairComparerLexLess
PolynomialSugar | This class defines PolynomialSugar
PolyPairData | This class defines PolyPairData
PSCompareByEl | This class defines PSCompareByEl
PseudoLongLong | This class defines PseudoLongLong
PseudoLongProduct | This class defines a delayed product of longs and comparison with `LongLong` Constant
RankingVector | This class defines RankingVector
RedTailNth |
ReductionOptions | This class defines option values for the ReductionStrategy
ReductionStrategy | This class defines ReductionStrategy
ReductionTerms | This class defines term for `ReductionStrategy`
RelatedTerms | This class finds those terms in a given set which are related to given terms
RelatedTermsBase | This class deals as a base of `RelatedTerns`
SetAssociatedMinimal | This class set the attribute `minimal` of a given index to a valued selected by the template parameter `Value`
SetBitUInt | This class defines SetBitUInt
ShorterEliminationLength | This class defines ShorterEliminationLength
ShorterEliminationLengthModified | This class defines ShorterEliminationLengthModified
SlimgbReduction | This class defines SlimgbReduction
TermsFacade | This class defines TermsFacade
TimesConstantImplication |
TimesVariableSubstitution |
VariablePairData | This class defines VariablePairData
ZeroFunction | This class defines ZeroFunction
AddEliminationDegree |
and_tag | And_tag<valid_tag, valid_tag> -> valid_tag, otherwise invalid_tag
and_tag< valid_tag, valid_tag > |
append_indexed_divisor | Defines multiplication (with assignment) with the idx-th variable
binary_composition | Compose a binary function with two default constructable unary functions
block_tag | Marker for block orderings
BlockDegLexOrder | This class defines ordering related functions
BlockDegRevLexAscOrder | This class defines ordering related functions
BooleConstant | This class wraps a bool value, which was not converted to a boolean polynomial or monomial yet
BooleEnv | This class is just a wrapper accessing global structures
BooleExponent | This class is just a wrapper for using variables for storing indices as interim data structure for BooleMonomial
BooleMonomial | This class is just a wrapper for using variables from `cudd's` decicion diagram
BoolePolynomial | This class wraps the underlying decicion diagram type and defines the necessary operations
BoolePolyRing | This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and variable names
BooleSet |
BooleSetSequence | This class converts a `BooleSet` to a sequence-like structure
BooleVariable | This class is just a wrapper for using variables from `cudd's` decicion diagram
bounded_restricted_term |
CAbstractStackBase |
cached_block_deg |
cached_deg |
CacheManager |
CApplyNodeFacade | 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
CAuxTypes | This struct contains auxiliary type definitions
CBlockDegreeCache |
CBlockDegreeOrderingTags |
CBlockOrderingFacade | This class implements block orderings for COrderingFacade. OrderType must inherit from COrderingFacade<OrderType>
CBlockTermStack |
CBoundedDegreeCache |
CCacheManagement | This template class forms the base for CCommutativeCacheManagement and CacheManager. It is an interface defining find and insert on decision diagram cache
CCacheManBase | This 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 |
binary_cache_tag |
block_degree |
contained_deg2 |
contained_variables |
degree |
divide |
divisorsof |
divisorsof_fixedpath |
exist_abstract |
graded_part |
has_factor_x |
has_factor_x_plus_one |
has_factor_x_plus_y |
include_divisors |
interpolate |
interpolate_smallest_lex |
is_rewriteable |
lead_tag |
left_equals_right_x_branch_and_r_has_fac_x |
lex_lead |
ll_red_nf |
map_every_x_to_x_plus_one |
mapping |
minimal_elements |
minimal_mod |
mod_varset |
multiplesof |
multiply_recursive |
no_cache |
no_cache_tag |
plug_1 |
ternary_cache_tag |
testwise_ternary |
unary_cache_tag |
union_xor |
used_variables |
zeros |
CCallbackFacade | Variant for constant non-void member functions
CCallbackFacade< Type, void, ArgType > | Specialized variant for constant void member functions
CCallbackWrapper | This template class defines a functional, which wraps operator .*, which is the callback of a dynamic member function wrt. a given object
CCheckedIdx | This class defines CCheckedIdx
CCommutativeCacheManagement |
CCompareEnums | This struct contains type definitions and enumerations to be used for comparisons
CCuddCore | This class prepares the CUDD's raw decision diagram manager structure for the use with instrinsive pointers
CCuddDDFacade | This template class defines a facade for decision diagrams
CCuddFirstIter | This class defines an iterator over the first minimal term of a given ZDD node
CCuddInterface | This class defines a C++ interface to `CUDD's` decicion diagram manager
CCuddLastIter | This class defines an iterator over the last minimal term of a given ZDD node
CCuddLikeMgrStorage |
CCuddNavigator | This class defines an iterator for navigating through then and else branches of ZDDs
CDDOperations |
CDegreeArgumentCache |
CDegreeCache |
CDegreeOrderingTags |
CDegStackBase |
CDegStackBase< NavigatorType, invalid_tag, BlockProperty, BaseType > |
CDegStackBase< NavigatorType, valid_tag, BlockProperty, BaseType > |
CDegStackCore |
CDegStackCore< NavigatorType, invalid_tag, Category, BaseType > | For pure degree stacks
CDegStackCore< NavigatorType, valid_tag, Category, BaseType > | For block stacks
CDegTermStack |
CDelayedTermIter |
CErrorEnums | This struct contains type definitions and enumerations to be used for error codes
CErrorInfo |
CExpGenerator |
CExpIter |
CExtrusivePtr | This template class defines a reimplementation of the interface from boost:intrusive_ptr, but with an additional data field
CFactoryBase | This base class CFactoryBase is used for currying other constructors with a BoolePolyRing
CGenericIter |
CGenericOrderedIter |
CGenericOrderedIter< OrderType, NavigatorType, BooleExponent > |
change_assign | Accessing .changeAssign()
change_assign< void, pbori_traits< void >::idx_type > |
change_idx |
CIndexCacheHandle |
CIndexHandle | This class defines an uses an navigator-like type for storing integer values from 0 upto nmax (number of currently active ring variables)
CIndirectIter |
CLiteralCodes | This template class defines enumerative codes for the string literals defined by the CStringLiterals class
CMemberFunctionTraits | This template class defines related types for member function pointer
CMemberFunctionTraits< ResultType(Type::*)() const > |
CMemberFunctionTraits< ResultType(Type::*)()> |
CMemberFunctionTraits< ResultType(Type::*)(ArgType) const > |
CMemberFunctionTraits< ResultType(Type::*)(ArgType)> |
CMemberFunctionTraitsBase | Axuiliary class
CNodeCounter | This class defines CNodeCounter
CommutativeCacheManager |
constant_binder1st |
constant_binder2nd |
constant_binder_base |
COrderedIter |
COrderEnums | This struct contains type definitions and enumerations to be used for order codes
COrderingBase |
COrderingFacade | This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType. OrderType must inherit from COrderingFacade<OrderType>
COrderingTags | This tempalte class is base for classes which define ordering tags and properties
COrderingTags< block_dlex_tag > |
COrderingTags< block_dp_asc_tag > |
COrderingTags< dlex_tag > |
COrderingTags< dp_asc_tag > |
COrderingTags< lex_tag > |
COrderingTagsBase |
count_tags |
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 > |
CReverseIter |
CReverseTermStack | This class defines an iterator for the monomials in a Boolean polynomial in reversed lexicographicxal order
CStackSelector |
CStringLiteral | This template class defines string literals corresponding to the codes enumerated in the class CLiteralCodes
CTermGenerator |
CTermGenerator< BooleMonomial > |
CTermGeneratorBase |
CTermGeneratorBase__ |
CTermGeneratorBase__< TermType, type_tag< BooleExponent > > |
CTermGeneratorBase__< TermType, type_tag< BooleMonomial > > |
CTermGeneratorBase__< TermType, type_tag< CTypes::deg_type > > |
CTermGeneratorBase__< TermType, type_tag< CTypes::size_type > > |
CTermIter | This class defines an iterator for the monomials in a Boolean polynomial
CTermStack | This class defines an iterator for the monomials in a Boolean polynomial
CTermStackBase | This class defines an iterator for the monomials in a Boolean polynomial
CTypes | This struct contains type definitions to be used in library classes
cudd_error_traits |
cudd_tag_number |
CVariableIter | This template class defines an iterator for monomial types
CVariableNames |
CWeakPtr | Forward declaration of friend
CWeakPtrFacade | This class defines CWeakPtrFacade
CWrappedStack |
dd_add_assign | Defines addition operation with assignment for decision diagrams
dd_operations |
dd_operations< CCuddNavigator > |
default_binder1st |
default_binder2nd |
default_binder_base |
default_value |
DegLexOrder | This class defines ordering related functions
DegRevLexAscOrder | This class defines ordering related functions
DerefProxy |
dict |
dlex_tag | Marker for deg-lex ordering
dp_asc_tag | Marker for ascending deg-rev-lex ordering
dummy_data_type |
dummy_iterator | An iterator which virtually does nothing
EliminationDegreeAdder |
equality_property |
generate_index_map |
generic_iteration |
get_node |
handle_else |
hashes |
increment_count_tags |
insert_assign | Accessing .insertAssign()
insert_assign< void, pbori_traits< void >::idx_type > |
insert_second_to_list | Insert second argument to a given list
inserts | Accessing .insert()
inserts< void, pbori_traits< void >::idx_type > |
integral_constant | 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_tag | This class marks an internal part of a procedure
Interpreter |
invalid_tag | This class shows, whether a property of an order is invalid
invert_tag | Changes valid_tag -> invalid_tag and vice versa
invert_tag< invalid_tag > |
invert_tag< valid_tag > |
is_same_type | This class tests whether two types equal
is_same_type< Type, Type > |
is_valid |
lex_compare_predicate | Defines lexicographic comparison functor
lex_tag | Marker for lex ordering
LexOrder | This class defines ordering related functions
manager_traits |
mapped_new_node |
maximum_iteration | Returns maximun of given argument and previous calls
MemberFunctionOperator |
MonomialFactory | This base class MonomialFactory is used for currying monomial constructors with a BoolePolyRing
navigates |
navigator_tag | For iterator_category
object |
on_same_type | This class switches betweem two types, depending on equality of types
on_same_type< Type, Type, ThenType, ElseType > |
order_traits |
order_traits< block_tag< BaseOrderTag > > |
order_traits_code |
order_traits_code< block_dlex_tag > |
order_traits_code< block_dp_asc_tag > |
order_traits_code< dlex_tag > |
order_traits_code< dp_asc_tag > |
order_traits_code< lex_tag > |
pbori_base |
pbori_base< CCacheManBase< BoolePolyRing, CacheType, ArgumentLength > > |
pbori_base< CCacheManBase< boost::intrusive_ptr< CCuddCore >, CacheType, ArgumentLength > > |
pbori_base< CCacheManBase< CCuddInterface, CacheType, ArgumentLength > > |
pbori_base< CExpIter< NaviType, ExpType > > |
pbori_base< CGenericIter< OrderType, NaviType, RefType > > |
pbori_base< CReverseIter< OrderType, NaviType, RefType > > |
pbori_binary_traits | This class contains property definitions related to two types to be used in polybori classes
pbori_binary_traits< OnlyType, OnlyType > |
pbori_traits | 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 > |
PBoRiError | This class is used for polybori's exception handling
PBoRiGenericError | This template class is used for polybori's exception handling
PBoRiOutIter | This template class defines an output iterator which interprets assignments of indices as a change of given data wrt. a given binary operation
PolynomialFactory | This base class PolynomialFactory is used for currying polynomial constructors with a BoolePolyRing
project_ith | Accessing ith of n arguments (ITH = 0 returns default value of first type)
project_ith< 0, NLEN > |
project_ith< 1, NLEN > |
project_ith< 2, NLEN > |
project_ith< 3, NLEN > |
push_back | Accessing .push_back()
remove_assign | Accessing .removeAssign()
remove_assign< void, pbori_traits< void >::idx_type > |
removes | Accessing .remove()
removes< void, pbori_traits< void >::idx_type > |
reversed_iteration_adaptor |
SetFactory | This base class SetFactory is used for currying set constructors with a BoolePolyRing
sizes_less | A functional for size comparisons
subset0_assign | Accessing .subset1Assign()
subset1_assign | Accessing .subset1Assign()
symmetric_composition | Compose a binary function with a default constructable unary function for both arguments
times_indexed_var | Defines multiplication operation with the idx-th variable
TransformedIterator | This class defines the iterator of Trnasformed sequence
TransformedSequence | This class converts a sequence-like structure when iterating
tuple |
type_tag | This class marks a given type
UnaryOperatorTraits |
UnaryOperatorTraits< ResultType(*)(ArgType)> |
unite_assign | Accessing .uniteAssign()
valid_tag | This class shows, whether a property of an order is valid
variable_name | Defines generic access to variable names
VariableBlock | This class defines a VariableBlock
VariableFactory | This base class VariableFactory is used for currying variable constructors with a BoolePolyRing
VariableIndexException |
WeakRingPtr | This class defines WeakRingPtr
CDDOperation | Generic class containing decision diagram operations
change | Accessing .change()
easy_equality_property | Defines generic base for properties
get_base | Declaration, which can be used to define base classes for inheritance of classes in advance
insert | Accessing .insert()
property_owner | Defines generic base for properties
reversed_iteration | Interchanges operator++ and operator-- of a given iterator