|
libutap
0.93
Uppaal Timed Automata Parser
|
#include <system.h>

Public Attributes | |
| std::string | formula |
| std::string | comment |
| std::string | location |
| std::string UTAP::query_t::comment |
Definition at line 439 of file system.h.
Referenced by UTAP::SystemBuilder::queryComment().
| std::string UTAP::query_t::formula |
Definition at line 438 of file system.h.
Referenced by UTAP::SystemBuilder::queryFormula().
| std::string UTAP::query_t::location |
Definition at line 440 of file system.h.
Referenced by UTAP::SystemBuilder::queryFormula().