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 
)


Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7