#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.
state_t& UTAP::template_t::addLocation | ( | std::string | , | |
expression_t | inv | |||
) |
Add another location to template.
std::list<edge_t> UTAP::template_t::edges |
Edges.
The initial location.
std::list<state_t> UTAP::template_t::states |
Locations.
Template set decls.