UTAP::template_t Struct Reference

Information about a template. More...

#include <system.h>

Inheritance diagram for UTAP::template_t:

UTAP::instance_t UTAP::declarations_t List of all members.

Public Member Functions

state_taddLocation (std::string, expression_t inv)
 Add another location to template.
edge_taddEdge (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_tstates
 Locations.
std::list< edge_tedges
 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:
Generated on Thu Feb 22 14:46:53 2007 for libutap by  doxygen 1.4.7