PolyBoRi
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 1234]
oNboost
oNpolybori
oCBitMask
oCCCacheManBase
oCCCacheManBaseThis template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache
oCCDDOperationGeneric class containing decision diagram operations
oCCDDOperations
oCCDegStackBase
oCCDegStackCore
oCCDelayedTermIter
oCCExpIter
oCCGenericIter
oCCGenericIter
oCchangeAccessing .change()
oCchange_assign
oCCIndirectIter
oCCMemberFunctionTraits
oCCMemberFunctionTraitsThis template class defines related types for member function pointer
oCCOrderedIter
oCCOrderingTags
oCCOrderingTagsThis tempalte class is base for classes which define ordering tags and properties
oCcount_tags
oCCReverseIter
oCCTermGeneratorBase__
oCdd_operations
oCeasy_equality_propertyDefines generic base for properties
oCgeneric_iteration
oCget_baseDeclaration, which can be used to define base classes for inheritance of classes in advance
oCinsertAccessing .insert()
oCinsert_assign
oCinserts
oCinvert_tagChanges valid_tag -> invalid_tag and vice versa
oCinvert_tag
oCis_same_type
oCLong64From32BitsPairBaseThis class defines an auxiliary class for Long64From32BitsPair
oCLong64From32BitsPairBase
oCmanager_traits
oCon_same_type
oCorder_traits
oCorder_traits_code
oCpbori_base
oCpbori_binary_traits
oCproject_ithIs the identity functional or projection to first argument
oCproject_ithAccessing ith of n arguments (ITH = 0 returns default value of first type)
oCproject_ithVirtually does nothing with the given arguments
oCproject_ithProject to the second of all given arguments
oCproject_ithProject to the third of all given arguments
oCproperty_ownerDefines generic base for properties
oCremove_assign
oCremoves
\Creversed_iterationInterchanges operator++ and operator– of a given iterator