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

Gantt map bool expr -> int expr that can be expanded. More...

#include <system.h>

Collaboration diagram for UTAP::ganttmap_t:

Public Attributes

frame_t parameters
 
expression_t predicate
 
expression_t mapping
 

Detailed Description

Gantt map bool expr -> int expr that can be expanded.

Definition at line 139 of file system.h.

Member Data Documentation

◆ mapping

expression_t UTAP::ganttmap_t::mapping

Definition at line 142 of file system.h.

Referenced by UTAP::SystemBuilder::ganttEntryEnd().

◆ parameters

frame_t UTAP::ganttmap_t::parameters

Definition at line 141 of file system.h.

Referenced by UTAP::SystemBuilder::ganttEntryEnd().

◆ predicate

expression_t UTAP::ganttmap_t::predicate

Definition at line 142 of file system.h.

Referenced by UTAP::SystemBuilder::ganttEntryEnd().


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