libutap  0.93
Uppaal Timed Automata Parser
UTAP::SignalFlow::proc_t Struct Reference

#include <signalflow.h>

Public Member Functions

 proc_t (const char *_name)
 

Public Attributes

const char * name
 
strs_t inChans
 
strs_t outChans
 
str2strs_t rdVars
 
str2strs_t wtVars
 
proc2strs_t outEdges
 

Detailed Description

Definition at line 69 of file signalflow.h.

Constructor & Destructor Documentation

◆ proc_t()

UTAP::SignalFlow::proc_t::proc_t ( const char *  _name)
inline

Definition at line 74 of file signalflow.h.

Member Data Documentation

◆ inChans

strs_t UTAP::SignalFlow::proc_t::inChans

Definition at line 71 of file signalflow.h.

Referenced by UTAP::SignalFlow::visitExpression().

◆ name

const char* UTAP::SignalFlow::proc_t::name

Definition at line 70 of file signalflow.h.

Referenced by UTAP::Partitioner::printViolation().

◆ outChans

strs_t UTAP::SignalFlow::proc_t::outChans

Definition at line 71 of file signalflow.h.

Referenced by UTAP::SignalFlow::visitExpression().

◆ outEdges

proc2strs_t UTAP::SignalFlow::proc_t::outEdges

Definition at line 73 of file signalflow.h.

◆ rdVars

str2strs_t UTAP::SignalFlow::proc_t::rdVars

Definition at line 72 of file signalflow.h.

Referenced by UTAP::SignalFlow::visitExpression().

◆ wtVars

str2strs_t UTAP::SignalFlow::proc_t::wtVars

Definition at line 72 of file signalflow.h.

Referenced by UTAP::SignalFlow::visitExpression().


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