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