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

UTAP::edge_t Struct Reference

Information about an edge. More...

#include <system.h>

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 an edge.

Edges have a source (src) and a destination (dst) locations. The guard, synchronisation and assignment are stored as expressions.


Member Data Documentation

expression_t UTAP::edge_t::assign
 

The assignment.

state_t* UTAP::edge_t::dst
 

Pointer to destination location.

expression_t UTAP::edge_t::guard
 

The guard.

int UTAP::edge_t::nr
 

Placement in in put file.

state_t* UTAP::edge_t::src
 

Pointer to source location.

expression_t UTAP::edge_t::sync
 

The synchronisation.


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