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, bool type)
 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 templateset
 Template set decls.
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,
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.

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.

frame_t UTAP::template_t::templateset
 

Template set decls.

symbol_t UTAP::template_t::uid
 

Symbol of the template.


The documentation for this struct was generated from the following files:
Generated on Thu Nov 10 13:16:13 2005 for libutap by  doxygen 1.4.2