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

Fix the help text of ltl2tgba.

Browse source 
* src/tgbatest/ltl2tgba.cc (syntax): Add missing std::endl
before -taa.  Remove -r8 and -fr8, since they do not exist.
This commit is contained in:
Alexandre Duret-Lutz 2009-11-03 16:16:48 +01:00
parent cb6b74f5ec
commit 24b78fde34
2 changed files with 10 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2009-11-03 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix the help text of ltl2tgba.
* src/tgbatest/ltl2tgba.cc (syntax): Add missing std::endl
before -taa. Remove -r8 and -fr8, since they do not exist.
2009-10-28 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2009-10-28 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgba/tgbacomplement.cc (state_complement): Remove the copy * src/tgba/tgbacomplement.cc (state_complement): Remove the copy

7
src/tgbatest/ltl2tgba.cc
View file

@ -80,6 +80,7 @@ syntax(char* prog)
<< " -E[ALGO] emptiness-check, expect no accepting run" << " -E[ALGO] emptiness-check, expect no accepting run"
<< std::endl << std::endl
<< " -f use Couvreur's FM algorithm for translation" << " -f use Couvreur's FM algorithm for translation"
<< std::endl
<< " -taa use Tauriainen's TAA-based algorithm for translation" << " -taa use Tauriainen's TAA-based algorithm for translation"
<< std::endl << std::endl
<< " -fr1 use -r1 (see below) at each step of FM" << std::endl << " -fr1 use -r1 (see below) at each step of FM" << std::endl
@ -89,7 +90,6 @@ syntax(char* prog)
<< " -fr5 use -r5 (see below) at each step of FM" << std::endl << " -fr5 use -r5 (see below) at each step of FM" << std::endl
<< " -fr6 use -r6 (see below) at each step of FM" << std::endl << " -fr6 use -r6 (see below) at each step of FM" << std::endl
<< " -fr7 use -r7 (see below) at each step of FM" << std::endl << " -fr7 use -r7 (see below) at each step of FM" << std::endl
<< " -fr8 use -r8 (see below) at each step of FM" << std::endl
<< " -F read the formula from the file" << std::endl << " -F read the formula from the file" << std::endl
<< " -FC dump the automaton showing future conditions on states" << " -FC dump the automaton showing future conditions on states"
<< std::endl << std::endl
@ -115,14 +115,13 @@ syntax(char* prog)
<< std::endl << std::endl
<< " -r1 reduce formula using basic rewriting" << std::endl << " -r1 reduce formula using basic rewriting" << std::endl
<< " -r2 reduce formula using class of eventuality and " << " -r2 reduce formula using class of eventuality and "
<< "and universality" << std::endl << "universality" << std::endl
<< " -r3 reduce formula using implication between " << " -r3 reduce formula using implication between "
<< "sub-formulae" << std::endl << "sub-formulae" << std::endl
<< " -r4 reduce formula using all above rules" << std::endl << " -r4 reduce formula using all above rules" << std::endl
<< " -r5 reduce formula using tau03" << std::endl << " -r5 reduce formula using tau03" << std::endl
<< " -r6 reduce formula using tau03+" << std::endl << " -r6 reduce formula using tau03+" << std::endl
<< " -r7 reduce formula using tau03+ and -r1" << std::endl << " -r7 reduce formula using tau03+ and -r4" << std::endl
<< " -r8 reduce formula using tau03+ and -r4" << std::endl
<< " -rd display the reduce formula" << std::endl << " -rd display the reduce formula" << std::endl
<< " -R same as -r, but as a set" << std::endl << " -R same as -r, but as a set" << std::endl
<< " -R1q merge states using direct simulation " << " -R1q merge states using direct simulation "