.\" Manual page for lpspp version 201409.0 (Release). .\"
.\" Generated from lpspp --generate-man-page. .\"
.TH LPSPP "1" "September 2017" "lpspp mCRL2 toolset 201409.0 (Release)" "User Commands"
.SH NAME
lpspp \- pretty print an LPS
.SH SYNOPSIS
.B lpspp
[\fIOPTION\fR]... [\fIINFILE\fR [\fIOUTFILE\fR]]
.SH 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.
.SH OPTIONS
.TP
\fIOPTION\fR can be any of the following:
.TP
\fB-f\fR\fIFORMAT\fR, \fB--format\fR=\fIFORMAT\fR
print the LPS in the specified FORMAT:
\&'default\&' for a process specification (default)
\&'internal\&' for a textual ATerm representation of the internal format
.TP
\fB-n\fR, \fB--print-summand_numbers\fR
print numbers in front of summands
.TP
\fB--timings\fR[=\fIFILE\fR]
append timing measurements to FILE\&. Measurements are written to standard error 
if no FILE is provided
.TP
Standard options:
.TP
\fB-q\fR, \fB--quiet\fR
do not display warning messages
.TP
\fB-v\fR, \fB--verbose\fR
display short intermediate messages
.TP
\fB-d\fR, \fB--debug\fR
display detailed intermediate messages
.TP
\fB--log-level\fR=\fILEVEL\fR
display intermediate messages up to and including level
.TP
\fB-h\fR, \fB--help\fR
display help information
.TP
\fB--version\fR
display version information

.SH AUTHOR
Written by Aad Mathijssen and Jeroen Keiren.
.SH "REPORTING BUGS"
Report bugs at <http://www.mcrl2.org/issuetracker>.
.SH COPYRIGHT
Copyright \(co 2014 Technische Universiteit Eindhoven.
.br
This is free software.  You may redistribute copies of it under the
terms of the Boost Software License <http://www.boost.org/LICENSE_1_0.txt>.
There is NO WARRANTY, to the extent permitted by law.
.SH "SEE ALSO"
See also the manual at <http://www.mcrl2.org/release/user_manual/tools/lpspp.html>.