UTAP::state_t Struct Reference

Information about a location. More...

#include <system.h>

List of all members.

Public Attributes

symbol_t uid
 The symbol of the location.
expression_t invariant
 The invariant.
expression_t costrate
 Rate expression.
int32_t locNr
 Location number in template.


Detailed Description

Information about a location.

The symbol's user data points to this structure, i.e. s.uid.getData() is a pointer to s. Notice that the rate list is generated by the type checker; until then the rate expressions are part of the invariant.


Member Data Documentation

expression_t UTAP::state_t::costrate

Rate expression.

expression_t UTAP::state_t::invariant

The invariant.

int32_t UTAP::state_t::locNr

Location number in template.

symbol_t UTAP::state_t::uid

The symbol of the location.


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