|
Symmetri
|
This struct defines a subset of data that we associate with the result of firing a transition. More...
#include <types.h>
Public Attributes | |
| std::string | case_id |
| The case_id of this event. | |
| std::string | transition |
| The transition that generated the event. | |
| Token | state |
| The result of the event. | |
| Clock::time_point | stamp |
| The timestamp of the event. | |
This struct defines a subset of data that we associate with the result of firing a transition.