UTAP::template_t Struct Reference

Information about a template. More...

#include <system.h>

Inheritance diagram for UTAP::template_t:

List of all members.

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.

---

Detailed Description

Information about a template.

A template is a parameterised automaton with local declarations of variables and functions.

---

Member Function Documentation

edge_t & template_t::addEdge	(	symbol_t	src,
		symbol_t	dst,
		bool	type
	)

Add edge to template.

state_t& UTAP::template_t::addLocation	(	std::string	,
		expression_t	inv
	)

Add another location to template.

---

Member Data Documentation

std::list<edge_t> UTAP::template_t::edges

Edges.

symbol_t UTAP::template_t::init

The initial location.

std::list<state_t> UTAP::template_t::states

Locations.

frame_t UTAP::template_t::templateset

Template set decls.

---

The documentation for this struct was generated from the following files:

• system.h
• system.cpp

---