Trj_TrajectoryPair_GetEndDynState (FUN) ¶ FUNCTION Trj_TrajectoryPair_GetEndDynState : BOOL Returns
Trj_TrajectoryPair_IsRoot (FUN) ¶ FUNCTION Trj_TrajectoryPair_IsRoot : BOOL Returns
Trj_Interval_SetRoot (FUN) ¶ FUNCTION Trj_Interval_SetRoot : BOOL Returns
Trj_Interval_Update_Off (FUN) ¶ FUNCTION Trj_Interval_Update_Off : BOOL In
Trj_ContainsReversal (FUN) ¶ FUNCTION Trj_ContainsReversal : BOOL Returns
Trj_DynStateNext (FUN) ¶ FUNCTION Trj_DynStateNext : DynState In
Trj_GetEndDynState (FUN) ¶ FUNCTION Trj_GetEndDynState : BOOL In
Trj_InitFailureInfo (FUN) ¶ FUNCTION Trj_InitFailureInfo : BOOL In
Trj_Interval_Assign (FUN) ¶ FUNCTION Trj_Interval_Assign : BOOL In
Trj_Interval_Invariants (FUN) ¶ FUNCTION Trj_Interval_Invariants : BOOL In