libutap
0.93
Uppaal Timed Automata Parser
|
#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 |
Definition at line 69 of file signalflow.h.
|
inline |
Definition at line 74 of file signalflow.h.
strs_t UTAP::SignalFlow::proc_t::inChans |
Definition at line 71 of file signalflow.h.
Referenced by UTAP::SignalFlow::visitExpression().
const char* UTAP::SignalFlow::proc_t::name |
Definition at line 70 of file signalflow.h.
Referenced by UTAP::Partitioner::printViolation().
strs_t UTAP::SignalFlow::proc_t::outChans |
Definition at line 71 of file signalflow.h.
Referenced by UTAP::SignalFlow::visitExpression().
proc2strs_t UTAP::SignalFlow::proc_t::outEdges |
Definition at line 73 of file signalflow.h.
str2strs_t UTAP::SignalFlow::proc_t::rdVars |
Definition at line 72 of file signalflow.h.
Referenced by UTAP::SignalFlow::visitExpression().
str2strs_t UTAP::SignalFlow::proc_t::wtVars |
Definition at line 72 of file signalflow.h.
Referenced by UTAP::SignalFlow::visitExpression().