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