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

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