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

#include <system.h>

Collaboration diagram for UTAP::simregion_t:

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_tmessage
 
condition_tcondition
 May be empty. More...
 
update_tupdate
 May be empty. More...
 

Detailed Description

Definition at line 222 of file system.h.

Constructor & Destructor Documentation

◆ simregion_t()

UTAP::simregion_t::simregion_t ( )
inline

Definition at line 232 of file system.h.

◆ ~simregion_t()

UTAP::simregion_t::~simregion_t ( )
inline

Definition at line 239 of file system.h.

References UTAP::variable_t::toString().

Here is the call graph for this function:

Member Function Documentation

◆ getLoc()

int simregion_t::getLoc ( ) const

May be empty.

Definition at line 723 of file system.cpp.

Referenced by UTAP::compare_simregion::operator()().

Here is the caller graph for this function:

◆ isInPrechart()

bool simregion_t::isInPrechart ( ) const

Definition at line 740 of file system.cpp.

Referenced by UTAP::cut_t::isInPrechart().

Here is the caller graph for this function:

◆ setCondition()

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

Here is the caller graph for this function:

◆ setMessage()

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

Here is the caller graph for this function:

◆ setUpdate()

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

Here is the caller graph for this function:

◆ toString()

std::string simregion_t::toString ( ) const

Definition at line 787 of file system.cpp.

Member Data Documentation

◆ condition

condition_t* UTAP::simregion_t::condition

May be empty.

Definition at line 226 of file system.h.

Referenced by UTAP::template_t::getSimregions().

◆ message

message_t* UTAP::simregion_t::message

Definition at line 225 of file system.h.

Referenced by UTAP::template_t::getSimregions().

◆ nr

int UTAP::simregion_t::nr

◆ update

update_t* UTAP::simregion_t::update

May be empty.

Definition at line 227 of file system.h.

Referenced by UTAP::template_t::getSimregions().


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