#include <system.h>
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. |
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.
Rate expression.
The invariant.
int32_t UTAP::state_t::locNr |
Location number in template.
The symbol of the location.