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::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)
 Add edge to template.

Public Attributes

symbol_t uid
 Symbol of the template.
int32_t nr
 Placement in input file.
symbol_t init
 The initial location.
frame_t parameters
 The parameters.
std::list< state_tstates
 Locations.
std::list< edge_tedges
 Edges.

Detailed Description

Information about a template.

A template is a parameterised automaton.


Member Function Documentation

edge_t & template_t::addEdge symbol_t  src,
symbol_t  dst
 

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.

int32_t UTAP::template_t::nr
 

Placement in input file.

frame_t UTAP::template_t::parameters
 

The parameters.

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

Locations.

symbol_t UTAP::template_t::uid
 

Symbol of the template.


The documentation for this struct was generated from the following files:
Generated on Thu Feb 17 15:20:59 2005 for libutap by  doxygen 1.4.1