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