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