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 Feb 22 14:46:53 2007 for libutap by  doxygen 1.4.7