From 24b78fde343074715d7734f9ac09d345ce046f56 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 3 Nov 2009 16:16:48 +0100 Subject: [PATCH] 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. --- ChangeLog | 7 +++++++ src/tgbatest/ltl2tgba.cc | 7 +++---- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index c0da436bb..bd0b377d0 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2009-11-03 Alexandre Duret-Lutz + + 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 * src/tgba/tgbacomplement.cc (state_complement): Remove the copy diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc index 82da391a5..3d22e70be 100644 --- a/src/tgbatest/ltl2tgba.cc +++ b/src/tgbatest/ltl2tgba.cc @@ -80,6 +80,7 @@ syntax(char* prog) << " -E[ALGO] emptiness-check, expect no accepting run" << std::endl << " -f use Couvreur's FM algorithm for translation" + << std::endl << " -taa use Tauriainen's TAA-based algorithm for translation" << 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 << " -fr6 use -r6 (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 << " -FC dump the automaton showing future conditions on states" << std::endl @@ -115,14 +115,13 @@ syntax(char* prog) << std::endl << " -r1 reduce formula using basic rewriting" << std::endl << " -r2 reduce formula using class of eventuality and " - << "and universality" << std::endl + << "universality" << std::endl << " -r3 reduce formula using implication between " << "sub-formulae" << std::endl << " -r4 reduce formula using all above rules" << std::endl << " -r5 reduce formula using tau03" << std::endl << " -r6 reduce formula using tau03+" << std::endl - << " -r7 reduce formula using tau03+ and -r1" << std::endl - << " -r8 reduce formula using tau03+ and -r4" << std::endl + << " -r7 reduce formula using tau03+ and -r4" << std::endl << " -rd display the reduce formula" << std::endl << " -R same as -r, but as a set" << std::endl << " -R1q merge states using direct simulation "