libutap
Functions
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)
 
int32_t writeXMLFile (const char *filename, UTAP::TimedAutomataSystem *taSystem)
 

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 ( FILE *  ,
UTAP::TimedAutomataSystem ,
bool  newxta 
)
bool parseXTA ( const char *  ,
UTAP::TimedAutomataSystem ,
bool  newxta 
)
int32_t writeXMLFile ( const char *  filename,
UTAP::TimedAutomataSystem taSystem 
)