pbesinfo

By default, the following information about the PBES is shown:

• information if the PBES is closed and well-formed;
• number of equations, µs and νs.

Manual page for pbesinfo

Usage

pbesinfo   [OPTION]... [INFILE]

Description

Print basic information about the PBES in INFILE. If INFILE is not present, standard input is used.

Command line options

-f , --full

display the predicate variables and their signature

-iFORMAT , --inFORMAT

use input format FORMAT:

‘pbes’ PBES in internal format ‘bes’ BES in internal format ‘cwi’ BES in CWI format ‘pgsolver’ max-parity game in PGSolver format

--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; Alexander van Dam