#include <system.h>
Public Attributes | |
symbol_t | uid |
The symbol of the location. | |
expression_t | invariant |
The invariant. | |
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.
|
The invariant.
|
|
Location number in template.
|
|
The symbol of the location.
|