- i -

• initCache() : Cache.h, Cache.c
• initCacheStruct() : Cache.c
• initDs() : Manager.h, Manager.c
• initGlobalTermination() : Termination.h, Termination.c
• initTerminationDetection() : Termination.h, Termination.c
• instCreate() : Instrumentation.h, Instrumentation.c
• instDestroy() : Instrumentation.h, Instrumentation.c
• instEnterState() : Instrumentation.h, Instrumentation.c
• instLeaveState() : Instrumentation.h, Instrumentation.c
• instSaveTimings() : Instrumentation.h, Instrumentation.c
• instSetDir() : Instrumentation.h, Instrumentation.c
• instSetUserStates() : Instrumentation.h, Instrumentation.c
• instSwitchState() : Instrumentation.h, Instrumentation.c
• ITERATOR_DESTROY() : hash.c
• ITERATOR_NEXT() : hash.c

---