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.

orphan:


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:

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

Author

Aad Mathijssen and Jeroen Keiren