libutap
0.93
Uppaal Timed Automata Parser
|
Gantt chart entry. More...
#include <system.h>
Public Member Functions | |
gantt_t (const char *s) | |
gantt_t (const std::string &s) | |
Public Attributes | |
std::string | name |
The name. More... | |
frame_t | parameters |
The select parameters. More... | |
std::list< ganttmap_t > | mapping |
std::list<ganttmap_t> UTAP::gantt_t::mapping |
Definition at line 155 of file system.h.
Referenced by UTAP::SystemBuilder::ganttEntryEnd(), and UTAP::TypeChecker::visitGanttChart().
frame_t UTAP::gantt_t::parameters |
The select parameters.
Definition at line 154 of file system.h.
Referenced by UTAP::SystemBuilder::ganttDeclEnd(), and UTAP::TypeChecker::visitGanttChart().