txt2bes

The tool txt2bes reads a textfile containing a boolean equation system and writes it into one of the availabel internal formats to represent a BES. A typical example of textual input is the following:

pbes nu Y1 = Y1 && Y2;
     mu Y2 = Y1 || Y2;
init Y1;

It is possible to declare data types in the input, but this is generally of no use as the data cannot be used in the BES.

orphan:


Usage

txt2bes   [OPTION]... [INFILE [OUTFILE]]

Description

Parse the textual description of a BES from INFILE and write it to OUTFILE. If INFILE is not present, stdin is used. If OUTFILE is not present, stdout is used.

Command line options

-oFORMAT , --out=FORMAT

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

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

Author

Wieger Wesselink