pp — Print linear mcrl specifications written in
.tbf
format
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
| %
Reads from
(or
input
.tbf stdin
if not given) an LPE
in .tbf
format, and prints the output LPE
in stdout
-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