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 input file.
bool control
 Controllable (true/false).
state_tsrc
 Pointer to source location.
state_tdst
 Pointer to destination location.
frame_t select
 Frame for non-deterministic select.
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.

bool UTAP::edge_t::control
 

Controllable (true/false).

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 input file.

frame_t UTAP::edge_t::select
 

Frame for non-deterministic select.

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 Nov 10 13:16:13 2005 for libutap by  doxygen 1.4.2