lpspp
The tool lpspp is intended to pretty print linear process specifications in a human readable form. It has an option to print a linear process in internal aterm format, but this is for deep debugging purposes only. The textual output of lpspp can be re-encoded by txt2lps. If no input and output filenames are given, it reads from standard input and writes to standard output.
Usage
lpspp [OPTION]... [INFILE [OUTFILE]]
Description
Print the mCRL2 LPS in INFILE to OUTFILE in a human readable format. If OUTFILE is not present, stdout is used. If INFILE is not present, stdin is used.
Command line options
-fFORMAT , --format=FORMAT
print the LPS in the specified FORMAT:
defaultfor a process specification
internalfor a textual ATerm representation of the internal format
-x , --no-precedence-aware
disable printing with precedence aware enabled
-n , --print-summand_numbers
print numbers in front of summands
-mNAME , --process-name=NAME
the name used for the pretty printed process name (default=’P’)
--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 log messages
-d , --debug
display detailed log messages
--log-level=LEVEL
display log messages up to and including level; either warn, verbose, debug or trace
-h , --help
display help information
--version
display version information
--help-all
display help information, including hidden and experimental options