alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* bin/spot-x.cc (ba-simul): Update documentation.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2019-04-26 10:05:45 +02:00
parent 84fa824f7e
commit 13a3f6d72d
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
bin/spot-x.cc
View file

@ -122,7 +122,10 @@ simulation. Set to 3 to iterate both direct and reverse simulations. \
The default is 3, except when option --low is specified, in which case \ The default is 3, except when option --low is specified, in which case \
the default is 1.") }, the default is 1.") },
{ DOC("ba-simul", "Set to 0 to disable simulation-based reductions \ { DOC("ba-simul", "Set to 0 to disable simulation-based reductions \
on the Büchi automaton (i.e., after degeneralization has been performed). \ on automata where state-based acceptance must be preserved (e.g., \
after degeneralization has been performed). The name suggests this applies \
only to Büchi automata for historical reasons; it really applies to any \
state-based acceptance nowadays. \
Set to 1 to use only direct simulation. Set to 2 to use only reverse \ Set to 1 to use only direct simulation. Set to 2 to use only reverse \
simulation. Set to 3 to iterate both direct and reverse simulations. \ simulation. Set to 3 to iterate both direct and reverse simulations. \
The default is 3 in --high mode, and 0 otherwise.") }, The default is 3 in --high mode, and 0 otherwise.") },