besconvert

Manual page for besconvert

Usage

besconvert   [OPTION]... [INFILE [OUTFILE]]

Description

reduce the (P)BES in INFILE modulo write the result to OUTFILE (as PBES).If INFILE is not present, stdin is used. If OUTFILE is not present, stdout is used.

Command line options

-eNAME , --equivalenceNAME

generate an equivalent BES, preserving equivalence NAME:’none’ for no reduction (default),’bisim’ for strong bisimulation,’stuttering’ for stuttering equivalence

-iFORMAT , --inFORMAT

use input format FORMAT:

bes

BES in internal format

pbes

PBES in internal format

pgsolver

BES in PGSolver format

text

PBES in textual (mCRL2) format

-lFILE , --intermediateFILE

save the intermediate LTS to FILE

-n , --noreduction

do not perform the reduction, only store the intermediate LTS

-oFORMAT , --outFORMAT

use output format FORMAT:

bes

BES in internal format

pbes

PBES in internal format

pgsolver

BES in PGSolver format

text

PBES in textual (mCRL2) format

--timings[FILE]

append timing measurements to FILE. Measurements are written to standard error if no FILE is provided

-tTRANSLATION , --translationTRANSLATION

translate to intermediate LTS using TRANSLATION:’deadlock’ for an additional deadlock state recording labels, ‘selfloop’ for a self-loop recording the information in each state, ‘successor’ for an edge with the label of the current state to each successor state (may only be used with –equivalence=bisim)

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

Jeroen Keiren