libutap
0.93
Uppaal Timed Automata Parser
|
Information about an instance line. More...
#include <system.h>
Public Member Functions | |
std::vector< simregion_t > | getSimregions (const std::vector< simregion_t > &simregions) |
return the simregions anchored to this instance, ordered by location number More... | |
void | addParameters (instance_t &inst, frame_t params, const std::vector< expression_t > &arguments) |
![]() | |
std::string | writeMapping () const |
std::string | writeParameters () const |
std::string | writeArguments () const |
Public Attributes | |
int32_t | instanceNr |
InstanceLine number in template. More... | |
![]() | |
symbol_t | uid |
The name. More... | |
frame_t | parameters |
The parameters. More... | |
std::map< symbol_t, expression_t > | mapping |
The arguments. More... | |
size_t | arguments |
size_t | unbound |
struct template_t * | templ |
std::set< symbol_t > | restricted |
Restricted variables. More... | |
void instanceLine_t::addParameters | ( | instance_t & | inst, |
frame_t | params, | ||
const std::vector< expression_t > & | arguments | ||
) |
Definition at line 658 of file system.cpp.
References UTAP::frame_t::add(), UTAP::frame_t::getSize(), UTAP::instance_t::mapping, UTAP::instance_t::parameters, and UTAP::instance_t::templ.
Referenced by UTAP::SystemBuilder::instanceNameEnd().
vector< simregion_t > instanceLine_t::getSimregions | ( | const std::vector< simregion_t > & | simregions | ) |
return the simregions anchored to this instance, ordered by location number
Definition at line 677 of file system.cpp.
References UTAP::update_t::anchor, UTAP::condition_t::anchors, UTAP::message_t::dst, instanceNr, UTAP::message_t::nr, UTAP::condition_t::nr, UTAP::update_t::nr, and UTAP::message_t::src.
int32_t UTAP::instanceLine_t::instanceNr |
InstanceLine number in template.
Definition at line 348 of file system.h.
Referenced by UTAP::template_t::addInstanceLine(), UTAP::template_t::getCondition(), getSimregions(), and UTAP::template_t::getUpdate().