#include <system.h>
Public Attributes | |
int | nr |
Placement in input file. | |
bool | control |
Controllable (true/false). | |
state_t * | src |
Pointer to source location. | |
state_t * | dst |
Pointer to destination location. | |
frame_t | select |
Frame for non-deterministic select. | |
expression_t | guard |
The guard. | |
expression_t | assign |
The assignment. | |
expression_t | sync |
The synchronisation. |
Edges have a source (src) and a destination (dst) locations. The guard, synchronisation and assignment are stored as expressions.
The assignment.
Controllable (true/false).
Pointer to destination location.
The guard.
int UTAP::edge_t::nr |
Placement in input file.
Frame for non-deterministic select.
Pointer to source location.
The synchronisation.