SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::_Token Struct Reference

Public Attributes | |
| CId | id |
| CId | seqNr |
| CId | channelId |
| TTime | prodTime |
| TTime | consTime |
| struct _Token * | next |
| struct _Token * | nextInChannel |
| State | state |
| bool | inPeriodicPhase |
Detailed Description
Token Container for traced token information.
Member Data Documentation
Referenced by SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::computeScheduleExtensions(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceConsumptionToken(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMessagesPeriodic(), and SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMessagesTransient().
Referenced by SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::computeScheduleExtensions(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMarkTokensInPeriodicPhase(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMessagesPeriodic(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMessagesTransient(), and SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceProductionToken().
Referenced by SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::computeScheduleExtensions(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMarkTokensInPeriodicPhase(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMessagesPeriodic(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceProductionToken(), and SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::~TransitionSystem().
Referenced by SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::computeScheduleExtensions(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceConsumptionToken(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMessagesPeriodic(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMessagesTransient(), and SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceProductionToken().
Referenced by SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::computeScheduleExtensions(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMessagesPeriodic(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceMessagesTransient(), and SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::traceProductionToken().
The documentation for this struct was generated from the following file:

