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