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

UTAP::template_t Struct Reference

Information about a template. More...

#include <system.hh>

List of all members.

Public Attributes

symbol_t uid
 The symbol of the template.

frame_t frame
 The local variables.

std::list< variable_tvariables
 Local variables.

std::list< function_tfunctions
 Local functions.

std::list< instance_tinstances
 The 'instances'.

int32_t nr
 Placement in input file.

std::list< state_tstates
 The locations.

std::list< transition_ttransitions
 The transitions.

symbol_t init
 The initial location.


Detailed Description

Information about a template.

A template is either a parameterized automaton.


Member Data Documentation

frame_t UTAP::template_t::frame
 

The local variables.

std::list<function_t> UTAP::template_t::functions
 

Local functions.

symbol_t UTAP::template_t::init
 

The initial location.

std::list<instance_t> UTAP::template_t::instances
 

The 'instances'.

int32_t UTAP::template_t::nr
 

Placement in input file.

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

The locations.

std::list<transition_t> UTAP::template_t::transitions
 

The transitions.

symbol_t UTAP::template_t::uid
 

The symbol of the template.

std::list<variable_t> UTAP::template_t::variables
 

Local variables.


The documentation for this struct was generated from the following file:
Generated on Wed Jul 2 12:08:20 2003 for libutap by doxygen 1.3.2