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

Gantt chart entry. More...

#include <system.h>

Collaboration diagram for UTAP::gantt_t:

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_tmapping
 

Detailed Description

Gantt chart entry.

Definition at line 148 of file system.h.

Constructor & Destructor Documentation

◆ gantt_t() [1/2]

UTAP::gantt_t::gantt_t ( const char *  s)
inline

Definition at line 150 of file system.h.

◆ gantt_t() [2/2]

UTAP::gantt_t::gantt_t ( const std::string &  s)
inline

Definition at line 151 of file system.h.

Member Data Documentation

◆ mapping

std::list<ganttmap_t> UTAP::gantt_t::mapping

◆ name

std::string UTAP::gantt_t::name

The name.

Definition at line 153 of file system.h.

◆ parameters

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


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