#include <system.hh>
Public Attributes | |
int | nr |
Placement in in put file. | |
state_t * | src |
Pointer to source location. | |
state_t * | dst |
Pointer to destination location. | |
expression_t | guard |
The guard. | |
expression_t | assign |
The assignment. | |
expression_t | sync |
The synchronisation. |
Transitions have a source (src) and a destination (dst), which are actually the uid of the symbols in the symbol table. The guard, synchronisation and assignment are stored as expressions.
|
The assignment.
|
|
Pointer to destination location.
|
|
The guard.
|
|
Placement in in put file.
|
|
Pointer to source location.
|
|
The synchronisation.
|