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