- a -

• ABITS : testdbm.c
• ADBM : testinfimum.cpp, testextrapolation.c, testdbm.c
• ADD_BITS : dbm.h
• APPLY_TO_FEDERATION : dbmfederation.h
• ARG : gen.c
• ASSERT_CLOCK_INDEX : Federation.h
• ASSERT_DIAG_OK : print.cpp, gen.c, dbm.c
• ASSERT_NOT_EMPTY : print.cpp, gen.c, dbm.c
• AVECT : testextrapolation.c, testdbm.c

- b -

• b : infimum.cpp
• BEGIN : testfeddbm.cpp
• BIGREDUCE : partition.cpp
• BORDER : xfed.c
• BOUND : udbm.cpp

- c -

• CDBM : fed_dbm.cpp
• CERR : fed.cpp
• CHEAP : testfed.cpp
• CHECKD : wrapper.h
• CHECKF : wrapper.h
• CHECKSD : wrapper.h
• CHECKSF : wrapper.h
• CLOCKOP : inline_fed.h
• CONST_DO : udbm.cpp
• CONST_OP : udbm.cpp
• CONST_OPX : udbm.cpp
• CONSTRAINT2BOUND : udbm.cpp
• CONSTRAINT2STRICT : udbm.cpp
• constraintValue : infimum.cpp

- d -

• DBM : xfed.c, xdbm.c, testfeddbm.cpp, testextrapolation.c, print.cpp, priced.cpp, gen.c, fed_dbm.cpp, dbm.c
• DBM1 : testext.c, dbm.c
• DBM2 : testext.c, dbm.c
• DBM_CONSTRAIN : dbm.c
• DBM_EQUAL : testmingraph.c, testextrapolation.c, testdbm.c
• DBM_GEN : testextrapolation.c, testdbm.c
• DBM_IJ : fed_dbm.cpp
• DBM_SUBSET : testdbm.c
• dbmf_allocate : dbmfederation.h
• dbmf_CHECKDIM : dbmfederation.h
• dbmf_checkFactory : dbmfederation.h
• dbmf_deallocate : dbmfederation.h
• dbmf_deallocateList : dbmfederation.h
• DECL_CLOCK_OP : udbm.cpp
• DECL_FUNC : udbm.cpp
• DECL_OP : udbm.cpp
• DECL_SELF : udbm.cpp
• DECL_TEST : udbm.cpp
• DEL_FED : testfed.cpp
• depth : infimum.cpp
• DIFF : testmingraph.c, testinfimum.cpp, testextrapolation.c, testdbm.c
• DST : print.cpp, gen.c, fed_dbm.cpp, dbm.c
• DVECT : testdbm.c

- e -

• END : testfeddbm.cpp
• ENDL : testmingraph.c, testextrapolation.c, testdbm.c
• EQ : testfeddbm.cpp
• EQD : testfeddbm.cpp

- f -

• FED : udbm.cpp
• FED2VALUE : udbm.cpp
• FED_OP : udbm.cpp
• FIX_IJ : mingraph_coding.h
• flow : infimum.cpp
• for_each_ : pfed.cpp
• for_each__ : pfed.cpp
• for_each_const : pfed.cpp
• FREE : testfeddbm.cpp
• FTABLE : partition.cpp

- g -

• GEN : testfeddbm.cpp

- h -

• HEIGHT : xfed.c, xdbm.c

- i -

• IMPROVED_MERGE : fed.cpp
• inbound : infimum.cpp
• INC : fed.cpp
• INCLUDE_DBM_INLINE_FED_H : inline_fed.h
• index : infimum.cpp
• INVALID : priced.cpp
• INVALIDATE : testfeddbm.cpp

- l -

• LOCAL_ACTIVE_FEDERATION : Federation.h
• LOCAL_FEDERATION : Federation.h
• LOOP : testinfimum.cpp, testdbm.c
• LOOPS : testmingraph.c

- m -

• M : udbm.cpp
• MARGIN : xfed.c, xdbm.c
• MAXRANGE : testfeddbm.cpp, testextrapolation.c
• MDBM : fed_dbm.cpp
• METHOD : udbm.cpp

- n -

• NB : xfed.c
• NB_LOOPS : testfed.cpp, testdbmfederation.c
• NEQ : testfeddbm.cpp
• NEQD : testfeddbm.cpp
• NEW : testfeddbm.cpp
• NEW_FED : testfed.cpp
• NO_TEST : testfed.cpp, testdbmfederation.c
• NTOOEXPENSIVE : testdbmfederation.c

- o -

• OUT2OS : print.cpp

- p -

• pdbm_cache : priced.cpp
• pdbm_cost : priced.cpp
• pdbm_count : priced.cpp
• pdbm_matrix : priced.cpp
• pdbm_rates : priced.cpp
• POINTER : testfeddbm.cpp
• POST_DIFF : print.cpp
• potential : infimum.cpp
• PRE_DIFF : print.cpp
• pred : infimum.cpp
• PRINTF : testdbm.c
• PROGRESS : testmingraph.c, testinfimum.cpp, testfeddbm.cpp, testfed.cpp, testextrapolation.c, testext.c, testdbmfederation.c, testdbm.c

- r -

• RANGE : testinfimum.cpp, testfeddbm.cpp, testextrapolation.c, testdbm.c
• REDUCE : partition.cpp
• RELATION2VALUE : udbm.cpp
• RESTRICTED_MERGE : fed.cpp

- s -

• S : xfed.c
• SELF_DO : udbm.cpp
• SELF_OP : udbm.cpp
• SELF_OPX : udbm.cpp
• SHORT_LINES : udbm.cpp
• SHOW_TEST : testfed.cpp, testdbmfederation.c
• SINGLETON : udbm.cpp
• SIZEOF_DBMLIST : dbmfederation.h
• SKIP_TEST : testfed.cpp, testdbmfederation.c
• SLEEP : xfed.c
• SRC : print.cpp, gen.c, fed_dbm.cpp, dbm.c
• SUBTRACTION_ALGORITHM : fed.cpp
• SX : udbm.cpp
• SY : udbm.cpp

- t -

• TEMPLATE : inline_fed.h
• TEST_OP : udbm.cpp
• thread : infimum.cpp

- u -

• UNION : xfed.c

- v -

• VALUEFUNC : udbm.cpp

- w -

• W : xfed.c
• WIDTH : xfed.c, xdbm.c

---