Trj_Pos_GreaterEq (FUN) ¶ FUNCTION Trj_Pos_GreaterEq : BOOL InOut: Scope

Trj_Pos_LessEq (FUN) ¶ FUNCTION Trj_Pos_LessEq : BOOL InOut: Scope

from both tasks In

+ lhs * rhs. In

FunCS_SetStatic InOut: Scope Name

Fun_DynamicsInfo InOut: Scope Name

to the queue. In

Trj_SampleQueue_IsFilled (FUN) ¶ FUNCTION Trj_SampleQueue_IsFilled : BOOL InOut: Scope

DynVState_ApplyDynState (FUN) ¶ FUNCTION DynVState_ApplyDynState InOut: Scope Name

SMC_CycleCounter_Dist (FUN) ¶ FUNCTION SMC_CycleCounter_Dist : SMC_CycleCounter In