#include <cstdio>
#include "utap/common.hh"
#include "utap/symbols.hh"
#include "utap/expression.hh"
#include "utap/system.hh"
#include "utap/statement.hh"
Go to the source code of this file.
Functions | |
bool | parseXTA (FILE *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta) |
bool | parseXTA (const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta) |
bool | parseXMLBuffer (const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta) |
bool | parseXMLFile (const char *, UTAP::ErrorHandler *, UTAP::TimedAutomataSystem *, bool newxta) |
|
|
|
|
|
|
|
|