pretty.cpp File Reference

#include <cstdio>
#include <cstdlib>
#include <unistd.h>
#include <string>
#include "utap/utap.h"
#include "utap/prettyprinter.h"

Functions

int getopt (int argc, char *const argv[], const char *optstring)
int main (int argc, char *argv[])
 Test for pretty printer.

Variables

char * optarg
int optind
int opterr
int optopt
static bool newSyntax = (getenv("UPPAAL_OLD_SYNTAX") == NULL)

Function Documentation

int getopt ( int  argc,
char *const   argv[],
const char *  optstring 
)

int main ( int  argc,
char *  argv[] 
)

Test for pretty printer.


Variable Documentation

bool newSyntax = (getenv("UPPAAL_OLD_SYNTAX") == NULL) [static]

char* optarg

int opterr

int optind

int optopt


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