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

Information about a condition. More...

#include <system.h>

Collaboration diagram for UTAP::condition_t:

Public Attributes

int nr = -1
 Placement in input file. More...
 
int location
 
std::vector< instanceLine_t * > anchors
 Pointer to anchor instance lines. More...
 
expression_t label
 The label. More...
 
bool isInPrechart
 
bool isHot
 

Detailed Description

Information about a condition.

Conditions have an anchor instance lines. The label is stored as an expression.

Definition at line 200 of file system.h.

Member Data Documentation

◆ anchors

std::vector<instanceLine_t*> UTAP::condition_t::anchors

Pointer to anchor instance lines.

Definition at line 204 of file system.h.

Referenced by UTAP::template_t::getCondition(), UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().

◆ isHot

bool UTAP::condition_t::isHot

Definition at line 207 of file system.h.

◆ isInPrechart

bool UTAP::condition_t::isInPrechart

Definition at line 206 of file system.h.

◆ label

expression_t UTAP::condition_t::label

◆ location

int UTAP::condition_t::location

Definition at line 203 of file system.h.

Referenced by UTAP::template_t::getCondition(), and UTAP::template_t::getSimregions().

◆ nr

int UTAP::condition_t::nr = -1

Placement in input file.

Definition at line 202 of file system.h.

Referenced by UTAP::template_t::addCondition(), UTAP::instanceLine_t::getSimregions(), and UTAP::template_t::getSimregions().


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