- a -

• allDBMs : testinfimum.cpp, testextrapolation.c, testdbm.c
• allocatedhop : dbmfederation.c

- b -

• border : udbm.cpp
• BOUND_ID : udbm.cpp

- c -

• cConstraint : udbm.cpp
• cFed : udbm.cpp
• cMatrix : udbm.cpp
• cRelation : udbm.cpp

- d -

• dbm41 : xfed.c
• dbm42 : xfed.c
• dbm_allocator : DBMAllocator.cpp
• dbm_table : inline_fed.h
• draw : xfed.c
• drawi : xfed.c

- f -

• f1 : xfed.c
• f1d1 : xfed.c
• f1d2 : xfed.c
• f1f2 : xfed.c
• f1f2d1 : xfed.c
• f1f2d2 : xfed.c
• f1mf2 : xfed.c
• f1mf2d1 : xfed.c
• f1mf2d2 : xfed.c
• f1mf2d3 : xfed.c
• f1mf2d4 : xfed.c
• f1mf2d5 : xfed.c
• f1mf4 : xfed.c
• f1mf4d1 : xfed.c
• f1mf4d2 : xfed.c
• f1mf4d3 : xfed.c
• f1mf4d4 : xfed.c
• f1mf4d5 : xfed.c
• f1mf4d6 : xfed.c
• f1mf4d7 : xfed.c
• f2 : xfed.c
• f2d1 : xfed.c
• factory : testfed.cpp
• fdbm_allocator : DBMAllocator.cpp, inline_fed.h

- g -

• goodDBMs : testinfimum.cpp, testextrapolation.c, testdbm.c

- h -

• height : udbm.cpp
• hull : xfed.c

- i -

• ifed_allocator : DBMAllocator.cpp, inline_fed.h
• INF : wrapper.h

- m -

• mUDBM : udbm.cpp

- n -

• NEW_ID : udbm.cpp

- r -

• rDifferent : udbm.cpp
• relationWithMinDBM : mingraph_relation.c
• rEqual : udbm.cpp
• rSubset : udbm.cpp
• rSuperset : udbm.cpp

- s -

• scaleX : xfed.c
• scaleY : xfed.c
• SIZE_ID : udbm.cpp
• start : xfed.c
• STRICT_QID : udbm.cpp
• sx : udbm.cpp
• sy : udbm.cpp

- t -

• time_infimum : testinfimum.cpp
• TO_A_ID : udbm.cpp

- v -

• values : xfed.c, xdbm.c

- x -

• xi : xfed.c

- y -

• yi : xfed.c

- z -

• ZERO : wrapper.h

---