- d -

• dbm_addFiniteFinite() : constraints.h
• dbm_addFiniteRaw() : constraints.h
• dbm_addFiniteWeak() : constraints.h
• dbm_addRawFinite() : constraints.h
• dbm_addRawRaw() : constraints.h
• dbm_analyzeForMinDBM() : mingraph_write.c, mingraph.h
• dbm_approxRelationWithMinDBM() : mingraph_relation.c, mingraph.h
• dbm_areConstraintsEqual() : constraints.h
• dbm_areEqual() : dbm.h
• dbm_areMinDBMVerbatimEqual() : mingraph.h
• dbm_bitMatrix2indices() : mingraph.c, mingraph.h
• dbm_bound2raw() : constraints.h
• dbm_boundbool2raw() : constraints.h
• dbm_cleanBitMatrix() : mingraph_write.c, mingraph_coding.h, mingraph.h
• dbm_close() : dbm.c, dbm.h
• dbm_close1() : dbm.c, dbm.h
• dbm_closeij() : dbm.c, dbm.h
• dbm_closeLU() : dbm.h, dbm.c
• dbm_closex() : dbm.c, dbm.h
• dbm_computeTables() : dbm.h, dbm.c
• dbm_constrain() : dbm.c, dbm.h
• dbm_constrain1() : dbm.c, dbm.h
• dbm_constrainC() : dbm.h
• dbm_constrainClock() : dbm.c, dbm.h
• dbm_constrainIndexedN() : dbm.c, dbm.h
• dbm_constrainN() : dbm.c, dbm.h
• dbm_constraint() : constraints.h
• dbm_constraint2() : constraints.h
• dbm_convexUnion() : dbm.c, dbm.h
• dbm_convexUnionWithMinDBM() : mingraph.c, mingraph.h
• dbm_copy() : dbm.h
• dbm_cppPrint() : print.cpp, print.h
• dbm_cppPrintBound() : print.cpp, print.h
• dbm_cppPrintBounds() : print.cpp, print.h
• dbm_cppPrintCloseDiff() : print.cpp, print.h
• dbm_cppPrintConstraints() : print.cpp, print.h
• dbm_cppPrintDiff() : print.cpp, print.h
• dbm_cppPrintFederation() : print.cpp, dbmfederation.h
• dbm_cppPrintRaw() : print.cpp, print.h
• dbm_cppPrintRaws() : print.cpp, print.h
• dbm_delete() : inline_fed.h
• dbm_diagonalExtrapolateLUBounds() : dbm.c, dbm.h
• dbm_diagonalExtrapolateMaxBounds() : dbm.c, dbm.h
• dbm_down() : dbm.h
• dbm_downFrom() : dbm.c, dbm.h
• dbm_draw() : xfed.c
• dbm_extrapolateLUBounds() : dbm.c, dbm.h
• dbm_extrapolateMaxBounds() : dbm.c, dbm.h
• dbm_findZeroCycles() : priced.cpp
• dbm_freeAllDown() : dbm.c, dbm.h
• dbm_freeAllUp() : dbm.c, dbm.h
• dbm_freeClock() : dbm.c, dbm.h
• dbm_freeDown() : dbm.c, dbm.h
• dbm_freeUp() : dbm.c, dbm.h
• dbm_generate() : gen.c, gen.h
• dbm_generateArgDBM() : gen.c, gen.h
• dbm_generateConstrained() : gen.c, gen.h
• dbm_generatePoint() : gen.c, gen.h
• dbm_generatePreConstrained() : gen.c, gen.h
• dbm_generateRealPoint() : gen.c, gen.h
• dbm_generateSubset() : gen.c, gen.h
• dbm_generateSuperset() : gen.c, gen.h
• dbm_getBitMatrixFromMinDBM() : mingraph_read.c, mingraph.h
• dbm_getDimOfMinDBM() : mingraph.c, mingraph.h
• dbm_getMaxRange() : dbm.c, dbm.h
• dbm_getRepresentationType() : mingraph.c, mingraph.h
• dbm_getSizeOfMinDBM() : mingraph.c, mingraph.h
• dbm_hash() : dbm.h
• dbm_haveIntersection() : dbm.c, dbm.h
• dbm_init() : dbm.c, dbm.h
• dbm_intersection() : dbm.c, dbm.h
• dbm_isAnalyzedDBMEqualToMinDBM() : mingraph_equal.c, mingraph.h
• dbm_isClosed() : dbm.c, dbm.h
• dbm_isDiagonalOK() : dbm.c, dbm.h
• dbm_isEmpty() : dbm.c, dbm.h
• dbm_isEqualToInit() : dbm.c, dbm.h
• dbm_isEqualToMinDBM() : mingraph_equal.c, mingraph.h
• dbm_isEqualToZero() : dbm.h
• dbm_isFreedAllUp() : dbm.c, dbm.h
• dbm_isPointIncluded() : dbm.c, dbm.h
• dbm_isRealPointIncluded() : dbm.c, dbm.h
• dbm_isSubsetEq() : dbm.c, dbm.h
• dbm_isSupersetEq() : dbm.h
• dbm_isUnbounded() : dbm.c, dbm.h
• dbm_isUnpackedEqualToMinDBM() : mingraph_equal.c, mingraph.h
• dbm_isValid() : dbm.c, dbm.h
• dbm_isValidRaw() : constraints.h
• dbm_negConstraint() : constraints.h
• dbm_negRaw() : constraints.h
• dbm_negStrict() : constraints.h
• dbm_new() : inline_fed.h
• dbm_print() : print.cpp, print.h
• dbm_printBound() : print.cpp, print.h
• dbm_printBounds() : print.cpp, print.h
• dbm_printCloseDiff() : print.cpp, print.h
• dbm_printConstraints() : print.cpp, print.h
• dbm_printDiff() : print.cpp, print.h
• dbm_printFederation() : print.cpp, dbmfederation.h
• dbm_printRaw() : print.cpp, print.h
• dbm_printRaws() : print.cpp, print.h
• dbm_randomConstrain() : gen.c
• dbm_raw2bound() : constraints.h
• dbm_raw2strict() : constraints.h
• dbm_rawDec() : constraints.h
• dbm_rawInc() : constraints.h
• dbm_rawIsStrict() : constraints.h
• dbm_rawIsWeak() : constraints.h
• dbm_readFromMinDBM() : mingraph_read.c, mingraph.h
• dbm_relation() : dbm.c, dbm.h
• dbm_relation2string() : dbm.c, dbm.h
• dbm_relationWithMinDBM() : mingraph_relation.c, mingraph.h
• dbm_relaxAll() : dbm.c, dbm.h
• dbm_relaxDown() : dbm.h
• dbm_relaxDownClock() : dbm.c, dbm.h
• dbm_relaxedIntersection() : dbm.c, dbm.h
• dbm_relaxUp() : dbm.h
• dbm_relaxUpClock() : dbm.c, dbm.h
• dbm_satisfies() : dbm.h
• dbm_shrinkExpand() : dbm.c, dbm.h
• dbm_strictRaw() : constraints.h
• dbm_swapClocks() : dbm.c, dbm.h
• dbm_testFreeAllDown() : dbm.c, dbm.h
• dbm_tighten() : dbm.h
• dbm_up() : dbm.c, dbm.h
• dbm_update() : dbm.c, dbm.h
• dbm_updateClock() : dbm.c, dbm.h
• dbm_updateDBM() : dbm.h, dbm.c, dbm.h
• dbm_updateIncrement() : dbm.c, dbm.h
• dbm_updateValue() : dbm.c, dbm.h
• dbm_weakNegRaw() : constraints.h
• dbm_weakRaw() : constraints.h
• dbm_writeAnalyzedDBM() : mingraph_write.c, mingraph.h
• dbm_writeToMinDBMWithOffset() : mingraph_write.c, mingraph.h
• dbm_zero() : dbm.h
• dbmf_addCopy() : dbmfederation.h
• dbmf_addDBM() : dbmfederation.h
• dbmf_addInit() : dbmfederation.c, dbmfederation.h
• dbmf_addZero() : dbmfederation.c, dbmfederation.h
• dbmf_appendList() : dbmfederation.h
• dbmf_areDBMsIncludedIn() : dbmfederation.c, dbmfederation.h
• dbmf_areDBMsReallyIncludedIn() : dbmfederation.c, dbmfederation.h
• dbmf_areEqual() : dbmfederation.c, dbmfederation.h
• dbmf_cleanUp() : dbmfederation.c, dbmfederation.h
• dbmf_clearFactory() : dbmfederation.c, dbmfederation.h
• dbmf_constrain1() : dbmfederation.c, dbmfederation.h
• dbmf_constrainIndexedN() : dbmfederation.c, dbmfederation.h
• dbmf_constrainN() : dbmfederation.c, dbmfederation.h
• dbmf_convexUnion() : dbmfederation.c, dbmfederation.h
• dbmf_convexUnionWithFederation() : dbmfederation.h
• dbmf_convexUnionWithSelf() : dbmfederation.c, dbmfederation.h
• dbmf_copy() : dbmfederation.c, dbmfederation.h
• dbmf_copyDBM() : dbmfederation.c, dbmfederation.h
• dbmf_copyDBM2List() : dbmfederation.c, dbmfederation.h
• dbmf_copyDBMList() : dbmfederation.c, dbmfederation.h
• dbmf_copyFederation() : dbmfederation.h
• dbmf_DBMsHaveIntersection() : dbmfederation.c, dbmfederation.h
• dbmf_deallocateFederation() : dbmfederation.h
• dbmf_diagonalExtrapolateLUBounds() : dbmfederation.c, dbmfederation.h
• dbmf_diagonalExtrapolateMaxBounds() : dbmfederation.c, dbmfederation.h
• dbmf_down() : dbmfederation.c, dbmfederation.h
• dbmf_expensiveReduce() : dbmfederation.c, dbmfederation.h
• dbmf_extrapolateLUBounds() : dbmfederation.c, dbmfederation.h
• dbmf_extrapolateMaxBounds() : dbmfederation.c, dbmfederation.h
• dbmf_federationHasDBM() : dbmfederation.h
• dbmf_federationHasIntersection() : dbmfederation.h
• dbmf_federationsHaveIntersection() : dbmfederation.h
• dbmf_freeClock() : dbmfederation.c, dbmfederation.h
• dbmf_getSize() : dbmfederation.c, dbmfederation.h
• dbmf_hasDBM() : dbmfederation.c, dbmfederation.h
• dbmf_initFactory() : dbmfederation.h
• dbmf_initFederation() : dbmfederation.h
• dbmf_internAllocate() : dbmfederation.c, dbmfederation.h
• dbmf_internCheckFactory() : dbmfederation.c, dbmfederation.h
• dbmf_internDeallocate() : dbmfederation.h
• dbmf_internDeallocateList() : dbmfederation.c, dbmfederation.h
• dbmf_internSubstractDBMFromDBM() : dbmfederation.c
• dbmf_intersection() : dbmfederation.c, dbmfederation.h
• dbmf_intersectionWithFederation() : dbmfederation.c, dbmfederation.h
• dbmf_intersectsDBM() : dbmfederation.c, dbmfederation.h
• dbmf_intersectsFederation() : dbmfederation.c, dbmfederation.h
• dbmf_isEmpty() : dbmfederation.h
• dbmf_isIncludedIn() : dbmfederation.c, dbmfederation.h
• dbmf_isPointIncluded() : dbmfederation.c, dbmfederation.h
• dbmf_isReallyIncludedIn() : dbmfederation.h
• dbmf_isRealPointIncluded() : dbmfederation.c, dbmfederation.h
• dbmf_isSubstractEqualToIdentity() : dbmfederation.c
• dbmf_isUnbounded() : dbmfederation.c, dbmfederation.h
• dbmf_microDelay() : dbmfederation.c, dbmfederation.h
• dbmf_partialRelation() : dbmfederation.c, dbmfederation.h
• dbmf_predt() : dbmfederation.c, dbmfederation.h
• dbmf_print() : testdbmfederation.c
• dbmf_reduce() : dbmfederation.c, dbmfederation.h
• dbmf_relation() : dbmfederation.c, dbmfederation.h
• dbmf_removePartialIncluded() : dbmfederation.c, dbmfederation.h
• dbmf_satisfies() : dbmfederation.c, dbmfederation.h
• dbmf_shrinkExpand() : dbmfederation.c, dbmfederation.h
• dbmf_stretchDown() : dbmfederation.c, dbmfederation.h
• dbmf_stretchUp() : dbmfederation.c, dbmfederation.h
• dbmf_substractDBM() : dbmfederation.c, dbmfederation.h
• dbmf_substractDBMFromDBM() : dbmfederation.c, dbmfederation.h
• dbmf_substractDBMFromFederation() : dbmfederation.c, dbmfederation.h
• dbmf_substractFederation() : dbmfederation.c, dbmfederation.h
• dbmf_substractFederationFromDBM() : dbmfederation.c, dbmfederation.h
• dbmf_substractFederationFromFederation() : dbmfederation.c, dbmfederation.h
• dbmf_union() : dbmfederation.c, dbmfederation.h
• dbmf_unionWithCopy() : dbmfederation.c, dbmfederation.h
• dbmf_up() : dbmfederation.c, dbmfederation.h
• dbmf_update() : dbmfederation.c, dbmfederation.h
• dbmf_updateClock() : dbmfederation.c, dbmfederation.h
• dbmf_updateIncrement() : dbmfederation.c, dbmfederation.h
• dbmf_updateValue() : dbmfederation.c, dbmfederation.h
• dbmf_validCopyDBM2List() : dbmfederation.c
• delete_fed() : udbm.cpp
• discoverCycleRoot() : infimum.cpp
• do_changeClocks() : udbm.cpp
• do_diagonalExtrapolateLUBounds() : udbm.cpp
• do_diagonalExtrapolateMaxBounds() : udbm.cpp
• do_extrapolateLUBounds() : udbm.cpp
• do_extrapolateMaxBounds() : udbm.cpp
• down() : fed.h
• draw1() : xfed.c
• draw2() : xfed.c
• draw3() : xfed.c
• draw4() : xfed.c
• draw5() : xfed.c
• draw6() : xfed.c
• draw_dbm() : xdbm.c
• draw_line() : xfed.c, xdbm.c
• draw_point() : xfed.c, xdbm.c
• draw_sline() : xfed.c, xdbm.c
• draw_string() : xfed.c, xdbm.c
• drawX() : xfed.c
• drawX2() : xfed.c

---