From aa5368baf9f8c8da2edcb2faa509e93333c05d22 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 14 May 2004 13:21:32 +0000 Subject: [PATCH] * src/tgbatest/ltl2tgba.cc (main): Fix style. * HACKING: Mention `else if'. --- ChangeLog | 3 +++ HACKING | 2 ++ src/tgbatest/ltl2tgba.cc | 9 +++++---- 3 files changed, 10 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 8ec86ae62..3273c660e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-05-14 Alexandre Duret-Lutz + * src/tgbatest/ltl2tgba.cc (main): Fix style. + * HACKING: Mention `else if'. + * src/tgbaalgos/neverclaim.cc (never_claim_bfs): Do not output space before colon, and do not output the top-level formula using Spin's syntax. diff --git a/HACKING b/HACKING index b0fb17192..ac37ee49c 100644 --- a/HACKING +++ b/HACKING @@ -147,6 +147,8 @@ Formating ... } + * `else if' can be put as-is on a single line. + * No line should be larger than 80 columns. If a line takes more than 80 columns, split it or rethink it. diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc index eecc60814..735968a2e 100644 --- a/src/tgbatest/ltl2tgba.cc +++ b/src/tgbatest/ltl2tgba.cc @@ -346,9 +346,11 @@ main(int argc, char** argv) spot::ltl::formula* ftmp = f; if (reduc_r4) - f = spot::ltl::reduce(f); - else { - if (reduc_r1 | reduc_r2 | reduc_r3) { + { + f = spot::ltl::reduce(f); + } + else if (reduc_r1 | reduc_r2 | reduc_r3) + { spot::ltl::option o = spot::ltl::BRI; if (reduc_r1) o = spot::ltl::Base; @@ -358,7 +360,6 @@ main(int argc, char** argv) o = spot::ltl::Inf; f = spot::ltl::reduce(f, o); } - } if (fm_opt) to_free = a = spot::ltl_to_tgba_fm(f, dict, fm_exprop_opt,