SMC_V3Poly (STRUCT) ¶ TYPE SMC_V3Poly : STRUCT Represents a
of axis a db LREAL
Fun aRef TRAFO
Ctx SMRE.ErrorContext a
.CONFIGDATA Inout Const a TRAFO
DynState_ApplyDynState (FUN) ¶ FUNCTION DynState_ApplyDynState : BOOL Given a
describes a trajectory
a startup
