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

* src/tgbatest/ltl2tgba.cc (syntax): Fix old typos and reword

Browse source 
some help strings.
This commit is contained in:
Alexandre Duret-Lutz 2004-11-09 18:08:42 +00:00
parent f52082bcfb
commit dc634800bf
2 changed files with 13 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2004-11-09 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbatest/ltl2tgba.cc (syntax): Fix old typos and reword
some help strings.
2004-11-09 Poitrenaud Denis <denis@src.lip6.fr> 2004-11-09 Poitrenaud Denis <denis@src.lip6.fr>
* src/tgbaalgos/magic.cc: rewrite to externalize the heap and * src/tgbaalgos/magic.cc: rewrite to externalize the heap and

21
src/tgbatest/ltl2tgba.cc
View file

@ -67,6 +67,7 @@ syntax(char* prog)
<< std::endl << std::endl
<< " -F read the formula from the file" << std::endl << " -F read the formula from the file" << std::endl
<< " -g graph the accepting run on the automaton (requires -e)" << " -g graph the accepting run on the automaton (requires -e)"
<< std::endl
<< " -L fair-loop approximation (implies -f)" << std::endl << " -L fair-loop approximation (implies -f)" << std::endl
<< " -N display the never clain for Spin " << " -N display the never clain for Spin "
<< "(implies -D)" << std::endl << "(implies -D)" << std::endl
@ -81,24 +82,18 @@ syntax(char* prog)
<< " -r4 reduce formula using all rules" << std::endl << " -r4 reduce formula using all rules" << 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 use direct simulation to merge some state " << " -R1q merge states using direct simulation "
<< "(use -L for more reduction)" << "(use -L for more reduction)"
<< std::endl << std::endl
<< " -R1t use direct simulation to remove some transition " << " -R1t remove transitions using direct simulation "
<< "(use -L for more reduction)" << "(use -L for more reduction)"
<< std::endl << std::endl
<< " -R2q use delayed simulation to merge some state " << " -R2q merge states using delayed simulation" << std::endl
<< "(the automaton must be degeneralised)" << " -R2t remove transitions using delayed simulation"
<< std::endl
<< " -R2t use delayed simulation to remove some transition "
<< "(the automaton must be degeneralised)"
<< std::endl
<< " -R3 use SCC to reduce the automata"
<< std::endl
<< " -Rd display the simulation relation"
<< std::endl
<< " -RD display the parity game (dot format)"
<< std::endl << std::endl
<< " -R3 use SCC to reduce the automata" << std::endl
<< " -Rd display the simulation relation" << std::endl
<< " -RD display the parity game (dot format)" << std::endl
<< " -s convert to explicit automata, and number states " << " -s convert to explicit automata, and number states "
<< "in DFS order" << std::endl << "in DFS order" << std::endl
<< " -S convert to explicit automata, and number states " << " -S convert to explicit automata, and number states "