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

Manual page for lpsinfo

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

-d , --debug

display detailed intermediate messages

--log-levelLEVEL

display intermediate messages up to and including level

-h , --help

display help information

--version

display version information

Author

Wieger Wesselink and Frank Stappers