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_t *	src
	Pointer to source location.
state_t *	dst
	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:

• system.h

---