PolyBoRi
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 123]
oNpolybori
oCBinaryOp
oCbinder1st
oCbinder2nd
oCCCacheManBaseThis template forms the base for CCacheManagement. It implements routines for finding and inserting results into the cache
oCCDDManagerThis specialization of the template class CDDManager gives an interface to Cudd's ZDD manager reference
oCCDDManagerThis specialization of the template class CDDManager gives an interface to Cudd's ZDD manager
oCCDDManagerThis specialization of the template class CDDManager gives an interface to CCuddInterface's ZDD manager reference
oCCDDManagerThis specialization of the template class CDDManager gives an interface to CCuddInterface's ZDD manager
oCCDDOperationGeneric class containing decision diagram operations
oCchangeAccessing .change()
oCchangeAssignAccessing .change(); variante using member templates
oCCIdxPathThis template class defines a storage type for monomial indices and customizable "pretty" printing
oCCIdxVariableThis template class defines a storage type for one monomial index and customizable "pretty" printing
oCeasy_equality_propertyDefines generic base for properties
oCgeneric_hash
oCgeneric_hash_tags
oCgeneric_sequence_hash
oCget_baseDeclaration, which can be used to define base classes for inheritance of classes in advance
oCinsertAccessing .insert()
oCpbori_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)
oCproject_ithVirtually does nothing with the given arguments
oCproject_ithProject to the third of all given arguments
oCproject_ithIs the identity functional or projection to first argument
oCproject_ithProject to the second of all given arguments
oCproperty_ownerDefines generic base for properties
oCreversed_iterationInterchanges operator++ and operator– of a given iterator
oCsimple_identity
\Csimple_increment