libutap  0.93
Uppaal Timed Automata Parser
UTAP::instanceLine_t Struct Reference

Information about an instance line. More...

#include <system.h>

Inheritance diagram for UTAP::instanceLine_t:
Collaboration diagram for UTAP::instanceLine_t:

Public Member Functions

std::vector< simregion_tgetSimregions (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)
 
- Public Member Functions inherited from UTAP::instance_t
std::string writeMapping () const
 
std::string writeParameters () const
 
std::string writeArguments () const
 

Public Attributes

int32_t instanceNr
 InstanceLine number in template. More...
 
- Public Attributes inherited from UTAP::instance_t
symbol_t uid
 The name. More...
 
frame_t parameters
 The parameters. More...
 
std::map< symbol_t, expression_tmapping
 The arguments. More...
 
size_t arguments
 
size_t unbound
 
struct template_ttempl
 
std::set< symbol_trestricted
 Restricted variables. More...
 

Detailed Description

Information about an instance line.

Definition at line 346 of file system.h.

Member Function Documentation

◆ addParameters()

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

Here is the call graph for this function:
Here is the caller graph for this function:

◆ getSimregions()

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.

Member Data Documentation

◆ instanceNr

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


The documentation for this struct was generated from the following files: