|
libutap
0.93
Uppaal Timed Automata Parser
|
#include <system.h>

Public Member Functions | |
| int | getLoc () const |
| May be empty. More... | |
| bool | isInPrechart () const |
| simregion_t () | |
| ~simregion_t () | |
| std::string | toString () const |
| void | setMessage (std::deque< message_t > &messages, int nr) |
| void | setCondition (std::deque< condition_t > &conditions, int nr) |
| void | setUpdate (std::deque< update_t > &updates, int nr) |
Public Attributes | |
| int | nr |
| message_t * | message |
| condition_t * | condition |
| May be empty. More... | |
| update_t * | update |
| May be empty. More... | |
|
inline |
Definition at line 239 of file system.h.
References UTAP::variable_t::toString().

| int simregion_t::getLoc | ( | ) | const |
May be empty.
Definition at line 723 of file system.cpp.
Referenced by UTAP::compare_simregion::operator()().

| bool simregion_t::isInPrechart | ( | ) | const |
Definition at line 740 of file system.cpp.
Referenced by UTAP::cut_t::isInPrechart().

| void simregion_t::setCondition | ( | std::deque< condition_t > & | conditions, |
| int | nr | ||
| ) |
Definition at line 767 of file system.cpp.
Referenced by UTAP::template_t::getSimregions().

| void simregion_t::setMessage | ( | std::deque< message_t > & | messages, |
| int | nr | ||
| ) |
Definition at line 757 of file system.cpp.
Referenced by UTAP::template_t::getSimregions().

| void simregion_t::setUpdate | ( | std::deque< update_t > & | updates, |
| int | nr | ||
| ) |
Definition at line 777 of file system.cpp.
Referenced by UTAP::template_t::getSimregions().

| std::string simregion_t::toString | ( | ) | const |
Definition at line 787 of file system.cpp.
| condition_t* UTAP::simregion_t::condition |
May be empty.
Definition at line 226 of file system.h.
Referenced by UTAP::template_t::getSimregions().
| message_t* UTAP::simregion_t::message |
Definition at line 225 of file system.h.
Referenced by UTAP::template_t::getSimregions().
| int UTAP::simregion_t::nr |
Definition at line 224 of file system.h.
Referenced by UTAP::cut_t::contains(), UTAP::cut_t::erase(), and UTAP::template_t::getSimregions().
| update_t* UTAP::simregion_t::update |
May be empty.
Definition at line 227 of file system.h.
Referenced by UTAP::template_t::getSimregions().