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