int32_t parseXMLBuffer(const char *, UTAP::TimedAutomataSystem *, bool newxta)
Definition: typechecker.cpp:3363
UTAP::expression_t parseExpression(const char *, UTAP::TimedAutomataSystem *, bool)
Definition: typechecker.cpp:3404
bool parseXTA(FILE *, UTAP::TimedAutomataSystem *, bool newxta)
Definition: typechecker.cpp:3339
A reference to an expression.
Definition: expression.h:68
int32_t writeXMLFile(const char *filename, UTAP::TimedAutomataSystem *taSystem)
Definition: xmlwriter.cpp:433
int32_t parseXMLFile(const char *, UTAP::TimedAutomataSystem *, bool newxta)
Definition: typechecker.cpp:3384