libutap
|
#include <cstdio>
#include <cstdlib>
#include <unistd.h>
#include <string>
#include <strings.h>
#include "utap/prettyprinter.h"
Functions | |
int | main (int argc, char *argv[]) |
SBML translator. More... | |
Variables | |
static bool | newSyntax = (getenv("UPPAAL_OLD_SYNTAX") == NULL) |
int main | ( | int | argc, |
char * | argv[] | ||
) |
SBML translator.
References newSyntax, and parseXMLFile().
|
static |
Referenced by main().