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

---