function at time t In [...] Fun Input t LREAL Return

time t . In [...] Fun_Cs Input t LREAL

time t InOut: Scope [...] Elem Input t LREAL Return

format: defines an exact time. “ui [...] Second” define the exact time

system of ef1 at time t . InOut: Scope [...] t LREAL

ECS at time t . In [...] Fun Input t LREAL Inout f

ECS at time t . In [...] Fun Input t LREAL Inout f

Output tLastReorderingTime TIME Last reordering time i

-1131-3 format DATE_AND_TIME [...] DTConcat (FUN) ¶ FUNCTION DTConcat : DATE_AND_TIME

VisibilityState BOOL tLastCallTime TIME Old