libutap
Macros | Functions
xmlwriter.cpp File Reference
#include "utap/xmlwriter.h"
#include <string.h>

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)
 

Macro Definition Documentation

#define MY_ENCODING   "utf-8"
#define PI   3.1416
#define PINK   "#ff6666"
#define RADIUS   80
#define STEP   120

Function Documentation

int32_t writeXMLFile ( const char *  filename,
TimedAutomataSystem taSystem 
)