(FUN) ¶ FUNCTION Trj_AppendSuffix [...] suffix of trSrc to trDst [...] Type Inout errCtx

. efSrc is not modified. Pre: 0 <= xCutPoint <= efSrc.l. InOut

prefix of efSrc up to [...] . Pre: 0 <= x <= efSrc [...] PathElem_RemovePrefix

PathElemTrigger_RemovePrefix (FUN) ¶ FUNCTION PathElemTrigger_RemovePrefix

PathElemTrigger_RemoveSuffix (FUN) ¶ FUNCTION PathElemTrigger_RemoveSuffix

ParamTransform_RemovePrefix (FUN) ¶ FUNCTION ParamTransform_RemovePrefix

ParamTransform_RemoveSuffix (FUN) ¶ FUNCTION ParamTransform_RemoveSuffix

ElemFun_MovementInfo_RemoveSuffix (FUN) ¶ FUNCTION ElemFun_MovementInfo_RemoveSuffix

ElemFun_MovementInfo_RemovePrefix (FUN) ¶ FUNCTION ElemFun_MovementInfo_RemovePrefix

ElemFun_RemovePrefix [...] ElemFun_RemovePrefix [...] prefix of efSrc up to