|
libutap
0.93
Uppaal Timed Automata Parser
|
Gantt map bool expr -> int expr that can be expanded. More...
#include <system.h>

Public Attributes | |
| frame_t | parameters |
| expression_t | predicate |
| expression_t | mapping |
| expression_t UTAP::ganttmap_t::mapping |
Definition at line 142 of file system.h.
Referenced by UTAP::SystemBuilder::ganttEntryEnd().
| frame_t UTAP::ganttmap_t::parameters |
Definition at line 141 of file system.h.
Referenced by UTAP::SystemBuilder::ganttEntryEnd().
| expression_t UTAP::ganttmap_t::predicate |
Definition at line 142 of file system.h.
Referenced by UTAP::SystemBuilder::ganttEntryEnd().