#include <system.hh>
Inheritance diagram for UTAP::template_t:
Public Attributes | |
symbol_t | uid |
Symbol of the template. | |
int32_t | nr |
Placement in input file. | |
symbol_t | init |
The initial location. |
A template is either a parameterized automaton.
|
The initial location.
|
|
Placement in input file.
|
|
Symbol of the template.
|