Name

pp — Print linear mcrl specifications written in .tbfformat

Synopsis

pp [-help] [-help-all] [-version] [Data Options] [-no-actions] [-adt-only] [-params name {,name }... ] [-mcrl2] [-conds ranges] input

ranges::= range {,range }...

range::= n1 | n1-n2 | %

Description

Reads from input.tbf (or stdin if not given) an LPE in .tbf format, and prints the output LPE in stdout

Options

-help

Display help information

-help-all

Display all help information

-version

Get the version number of this release

-no-actions

No action declaration part will be printed

-adt-only

Only the adt part will be printed

-params name

Print the arguments of parameter name

-mcrl2

Converts LPE to mcrl2 internal format and writes to stdout

-conds ranges

For each range in ranges print all summands specified in range. range has the following format:

n1

Number of summand

n1-n2

Range of summand numbers. Number n1 is lower bound and number n2 is upper bound. Summands n1 and n2 are included in the range.

%

All summands

Last update

16 December 2008 by Bert Lisser