utap.hh
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
#ifndef UTAP_HH
00023
#define UTAP_HH
00024
00025
#include <cstdio>
00026
00027
#include "utap/common.hh"
00028
#include "utap/symbols.hh"
00029
#include "utap/expression.hh"
00030
#include "utap/system.hh"
00031
#include "utap/statement.hh"
00032
00033
bool parseXTA(FILE *,
UTAP::ErrorHandler *,
UTAP::TimedAutomataSystem *,
bool newxta);
00034
bool parseXTA(
const char *,
UTAP::ErrorHandler *,
UTAP::TimedAutomataSystem *,
bool newxta);
00035
bool parseXMLBuffer(
const char *,
UTAP::ErrorHandler *,
UTAP::TimedAutomataSystem *,
bool newxta);
00036
bool parseXMLFile(
const char *,
UTAP::ErrorHandler *,
UTAP::TimedAutomataSystem *,
bool newxta);
00037
00038
#endif
Generated on Sat May 15 12:33:41 2004 for libutap by
1.3.7