utap.h File Reference

#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)

---

Function Documentation

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
	)

---