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.



lpspp   [OPTION]... [INFILE [OUTFILE]]


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:


for a process specification


for a textual ATerm representation of the internal format

-n , --print-summand_numbers

print numbers in front of summands


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


display log messages up to and including level; either warn, verbose, debug or trace

-h , --help

display help information


display version information


display help information, including hidden and experimental options


Aad Mathijssen and Jeroen Keiren