Fun_SetCaching InOut: Scope Name Type Inout ef Elem

FunCache_ClearCache InOut: Scope Name Type Inout cache

FunTrace_StartCycle InOut: Scope Name Type Inout trace

Fun_UpdateCSPlanning InOut: Scope Name Type Inout ef Elem

ElemFuns_ClearCache InOut: Scope Name Type Inout aef

TrjInfo InOut: Scope Name Type Inout trj

State_SetConstant InOut: Scope Name Type Inout w Dyn

Elem_SetTransition InOut: Scope Name Type Inout pe Path

AddChecksum InOut: Scope Name Type Inout

Setup InOut: Scope Name Type Inout path