libutap  0.93
Uppaal Timed Automata Parser
UTAP::iodecl_t Struct Reference

#include <system.h>

Collaboration diagram for UTAP::iodecl_t:

Public Attributes

std::string instanceName
 
std::vector< expression_tparam
 
std::list< expression_tinputs
 
std::list< expression_toutputs
 
std::list< expression_tcsp
 

Detailed Description

Definition at line 128 of file system.h.

Member Data Documentation

◆ csp

std::list<expression_t> UTAP::iodecl_t::csp

◆ inputs

std::list<expression_t> UTAP::iodecl_t::inputs

◆ instanceName

std::string UTAP::iodecl_t::instanceName

Definition at line 130 of file system.h.

Referenced by UTAP::SystemBuilder::declIO().

◆ outputs

std::list<expression_t> UTAP::iodecl_t::outputs

◆ param

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


The documentation for this struct was generated from the following file: