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().