| 
    libutap
    0.93
    
   Uppaal Timed Automata Parser 
   | 
 
#include <system.h>

Public Attributes | |
| std::string | instanceName | 
| std::vector< expression_t > | param | 
| std::list< expression_t > | inputs | 
| std::list< expression_t > | outputs | 
| std::list< expression_t > | csp | 
| std::list<expression_t> UTAP::iodecl_t::csp | 
Definition at line 132 of file system.h.
Referenced by UTAP::SystemBuilder::declIO(), UTAP::SystemBuilder::exprSync(), and UTAP::TypeChecker::visitIODecl().
| std::list<expression_t> UTAP::iodecl_t::inputs | 
Definition at line 132 of file system.h.
Referenced by UTAP::SystemBuilder::declIO(), UTAP::SystemBuilder::exprSync(), and UTAP::TypeChecker::visitIODecl().
| std::string UTAP::iodecl_t::instanceName | 
Definition at line 130 of file system.h.
Referenced by UTAP::SystemBuilder::declIO().
| std::list<expression_t> UTAP::iodecl_t::outputs | 
Definition at line 132 of file system.h.
Referenced by UTAP::SystemBuilder::declIO(), UTAP::SystemBuilder::exprSync(), and UTAP::TypeChecker::visitIODecl().
| std::vector<expression_t> UTAP::iodecl_t::param | 
Definition at line 131 of file system.h.
Referenced by UTAP::SystemBuilder::declIO(), and UTAP::TypeChecker::visitIODecl().