#include <times_header.h>
Public Attributes | |
int | active |
int | from |
int | to |
int | sync |
Transition table element (TIMES code)
Definition at line 106 of file times_header.h.
Active transition
Definition at line 107 of file times_header.h.
Source location
Definition at line 108 of file times_header.h.
Syncronisation id
Definition at line 110 of file times_header.h.
Target location id
Definition at line 109 of file times_header.h.