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

UTAP::transition_t Struct Reference

Information about a transition. More...

#include <system.hh>

List of all members.

Public Attributes

int nr
 Placement in in put file.

state_tsrc
 Pointer to source location.

state_tdst
 Pointer to destination location.

expression_t guard
 The guard.

expression_t assign
 The assignment.

expression_t sync
 The synchronisation.


Detailed Description

Information about a transition.

Transitions have a source (src) and a destination (dst), which are actually the uid of the symbols in the symbol table. The guard, synchronisation and assignment are stored as expressions.


Member Data Documentation

expression_t UTAP::transition_t::assign
 

The assignment.

state_t* UTAP::transition_t::dst
 

Pointer to destination location.

expression_t UTAP::transition_t::guard
 

The guard.

int UTAP::transition_t::nr
 

Placement in in put file.

state_t* UTAP::transition_t::src
 

Pointer to source location.

expression_t UTAP::transition_t::sync
 

The synchronisation.


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