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.

Manual page for lpspp

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 , --formatFORMAT

print the LPS in the specified FORMAT:

default

for a process specification

internal

for a textual ATerm representation of the internal format

-n , --print-summand_numbers

print numbers in front of summands

--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-levelLEVEL

display intermediate messages up to and including level

-h , --help

display help information

--version

display version information

Author

Aad Mathijssen and Jeroen Keiren