ltsgraph_deprecated

Manual page for LTSGraph (Deprecated)

Usage

LTSGraph (Deprecated)   [OPTION]... [INFILE]

Description

Tool for visualizing a labelled transition systems as a graph, and optimizing graph layout. When INFILE is -, an LTS is read from standard input.

Command line options

--timings[=FILE]

append timing measurements to FILE. Measurements are written to standard error if no FILE is provided

Standard options

-q , --quiet

do not display warning messages

-v , --verbose

display short intermediate messages

-d , --debug

display detailed intermediate messages

--log-level=LEVEL

display intermediate messages up to and including level

-h , --help

display help information

--version

display version information

--help-all

display help information, including hidden and experimental options

Author

Rimco Boudewijns and Sjoerd Cranen