|
libutap
0.93
Uppaal Timed Automata Parser
|

Go to the source code of this file.
Macros | |
| #define | MY_ENCODING "utf-8" |
| #define | STEP 120 |
| #define | PINK "#ff6666" |
| #define | PI 3.1416 |
| #define | RADIUS 80 |
Functions | |
| int32_t | writeXMLFile (const char *filename, TimedAutomataSystem *taSystem) |
| #define MY_ENCODING "utf-8" |
Definition at line 33 of file xmlwriter.cpp.
Referenced by UTAP::XMLWriter::label(), and UTAP::XMLWriter::startDocument().
| #define PI 3.1416 |
Definition at line 36 of file xmlwriter.cpp.
Referenced by UTAP::XMLWriter::selfLoop(), and UTAP::XMLWriter::transition().
| #define PINK "#ff6666" |
Definition at line 35 of file xmlwriter.cpp.
Referenced by UTAP::XMLWriter::location().
| #define RADIUS 80 |
Definition at line 37 of file xmlwriter.cpp.
Referenced by UTAP::XMLWriter::selfLoop().
| #define STEP 120 |
Definition at line 34 of file xmlwriter.cpp.
Referenced by UTAP::XMLWriter::location(), UTAP::XMLWriter::selfLoop(), and UTAP::XMLWriter::transition().
| int32_t writeXMLFile | ( | const char * | filename, |
| TimedAutomataSystem * | taSystem | ||
| ) |
Definition at line 433 of file xmlwriter.cpp.
References UTAP::XMLWriter::writer, and UTAP::XMLWriter::XMLWriter().
