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().