#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, bool type) |
Add edge to template. | |
Public Attributes | |
symbol_t | init |
The initial location. | |
frame_t | templateset |
Template set decls. | |
std::list< state_t > | states |
Locations. | |
std::list< edge_t > | edges |
Edges. |
A template is a parameterised automaton with local declarations of variables and functions.
|
Add edge to template.
|
|
Add another location to template.
|
|
Edges.
|
|
The initial location.
|
|
Locations.
|
|
Template set decls.
|