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.
Usage
txt2pbes [OPTION]... [INFILE [OUTFILE]]
Description
Parse the textual description of a PBES 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
-n , --normalize
normalization is applied, i.e. negations and implications are eliminated.
-oFORMAT , --out=FORMAT
use output format FORMAT:
besBES in internal format
pbesPBES in internal format
pgsolverBES in PGSolver format
textPBES 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