Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

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 & 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 Sat Apr 29 21:02:14 2006 for libutap by  doxygen 1.4.2