#include <system.hh>
Public Attributes | |
symbol_t | uid |
The symbol of the template. | |
frame_t | frame |
The local variables. | |
std::list< variable_t > | variables |
Local variables. | |
std::list< function_t > | functions |
Local functions. | |
std::list< instance_t > | instances |
The 'instances'. | |
int32_t | nr |
Placement in input file. | |
std::list< state_t > | states |
The locations. | |
std::list< transition_t > | transitions |
The transitions. | |
symbol_t | init |
The initial location. |
A template is either a parameterized automaton.
|
The local variables.
|
|
Local functions.
|
|
The initial location.
|
|
The 'instances'.
|
|
Placement in input file.
|
|
The locations.
|
|
The transitions.
|
|
The symbol of the template.
|
|
Local variables.
|