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
print the LPS in the specified FORMAT:
for a process specification
for a textual ATerm representation of the internal format
print numbers in front of summands
append timing measurements to FILE. Measurements are written to standard error if no FILE is provided
do not display warning messages
display short log messages
display detailed log messages
display log messages up to and including level; either warn, verbose, debug or trace
display help information
display version information
display help information, including hidden and experimental options