libutap  0.93
Uppaal Timed Automata Parser
xmlwriter.h File Reference
#include "utap/system.h"
#include "utap/common.h"
#include <libxml/encoding.h>
#include <libxml/xmlwriter.h>
#include <libxml/xmlreader.h>
#include <cstdio>
#include <cstdarg>
#include <cctype>
#include <cmath>
#include <cassert>
#include <stdexcept>
#include <list>
#include <sstream>
Include dependency graph for xmlwriter.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  UTAP::XMLWriter
 

Namespaces

 UTAP
 

Functions

xmlChar * UTAP::ConvertInput (const char *in, const char *encoding)
 ConvertInput: : string in a given encoding : the encoding used. More...
 
std::string UTAP::concat (const std::string &s, int i)
 concatenates a string and an int More...
 
std::string UTAP::concatDouble (const std::string &s, double i)
 concatenates a string and a double More...