UTAP::progress_t Struct Reference

#include <system.h>

Collaboration diagram for UTAP::progress_t:

Public Attributes
expression_t	guard
expression_t	measure

Detailed Description

Definition at line 122 of file system.h.

Member Data Documentation

guard

expression_t UTAP::progress_t::guard

Definition at line 124 of file system.h.

Referenced by UTAP::TimedAutomataSystem::addProgressMeasure(), and UTAP::TypeChecker::visitProgressMeasure().

measure

expression_t UTAP::progress_t::measure

Definition at line 125 of file system.h.

Referenced by UTAP::TimedAutomataSystem::addProgressMeasure(), and UTAP::TypeChecker::visitProgressMeasure().

---

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

• system.h