lpsinfo
Print basic information on a linear process specification (LPS). By default, the following information about the LPS is shown:
number of summands
number of tau-summands
number of free variables
number of process parameters
number of action labels
number of used versus the number of declared actions
number of sorts
- orphan:
Usage
lpsinfo [OPTION]... [INFILE]
Description
Print basic information on the linear process specification (LPS) in INFILE.
Command line options
--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