|
libutap
0.93
Uppaal Timed Automata Parser
|
Information about a condition. More...
#include <system.h>

Public Attributes | |
| int | nr = -1 |
| Placement in input file. More... | |
| int | location |
| std::vector< instanceLine_t * > | anchors |
| Pointer to anchor instance lines. More... | |
| expression_t | label |
| The label. More... | |
| bool | isInPrechart |
| bool | isHot |
Information about a condition.
Conditions have an anchor instance lines. The label is stored as an expression.
| std::vector<instanceLine_t*> UTAP::condition_t::anchors |
Pointer to anchor instance lines.
Definition at line 204 of file system.h.
Referenced by UTAP::template_t::getCondition(), UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().
| expression_t UTAP::condition_t::label |
The label.
Definition at line 205 of file system.h.
Referenced by UTAP::SystemBuilder::procCondition(), UTAP::SystemBuilder::procMessage(), and UTAP::TypeChecker::visitCondition().
| int UTAP::condition_t::location |
Definition at line 203 of file system.h.
Referenced by UTAP::template_t::getCondition(), and UTAP::template_t::getSimregions().
| int UTAP::condition_t::nr = -1 |
Placement in input file.
Definition at line 202 of file system.h.
Referenced by UTAP::template_t::addCondition(), UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().