#include <system.h>
Inheritance diagram for UTAP::template_t:
Public Member Functions | |
state_t & | addLocation (std::string, expression_t inv) |
Add another location to template. | |
edge_t & | addEdge (symbol_t src, symbol_t dst) |
Add edge to template. | |
Public Attributes | |
symbol_t | uid |
Symbol of the template. | |
int32_t | nr |
Placement in input file. | |
symbol_t | init |
The initial location. | |
frame_t | parameters |
The parameters. | |
std::list< state_t > | states |
Locations. | |
std::list< edge_t > | edges |
Edges. |
A template is a parameterised automaton.
|
Add edge to template.
|
|
Add another location to template.
|
|
Edges.
|
|
The initial location.
|
|
Placement in input file.
|
|
The parameters.
|
|
Locations.
|
|
Symbol of the template.
|