libutap
|
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" |
Referenced by UTAP::XMLWriter::label(), and UTAP::XMLWriter::startDocument().
#define PI 3.1416 |
Referenced by UTAP::XMLWriter::selfLoop(), and UTAP::XMLWriter::transition().
#define PINK "#ff6666" |
Referenced by UTAP::XMLWriter::location().
#define RADIUS 80 |
Referenced by UTAP::XMLWriter::selfLoop().
#define STEP 120 |
Referenced by UTAP::XMLWriter::location(), UTAP::XMLWriter::selfLoop(), and UTAP::XMLWriter::transition().
int32_t writeXMLFile | ( | const char * | filename, |
TimedAutomataSystem * | taSystem | ||
) |
References UTAP::XMLWriter::project().