|
libutap
0.93
Uppaal Timed Automata Parser
|
#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>

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