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:

• system.h

---