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

* src/tgbatest/ltl2tgba.cc (main): Fix style.

Browse source 
* HACKING: Mention `else if'.
This commit is contained in:
Alexandre Duret-Lutz 2004-05-14 13:21:32 +00:00
parent 16fd8268c4
commit aa5368baf9
3 changed files with 10 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
ChangeLog
View file

@ -1,5 +1,8 @@
2004-05-14 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-05-14 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbatest/ltl2tgba.cc (main): Fix style.
* HACKING: Mention `else if'.
* src/tgbaalgos/neverclaim.cc (never_claim_bfs): Do not output * src/tgbaalgos/neverclaim.cc (never_claim_bfs): Do not output
space before colon, and do not output the top-level formula using space before colon, and do not output the top-level formula using
Spin's syntax. Spin's syntax.

2
HACKING
View file

@ -147,6 +147,8 @@ Formating
... ...
} }
* `else if' can be put as-is on a single line.
* No line should be larger than 80 columns. * No line should be larger than 80 columns.
If a line takes more than 80 columns, split it or rethink it. If a line takes more than 80 columns, split it or rethink it.

7
src/tgbatest/ltl2tgba.cc
View file

@ -346,9 +346,11 @@ main(int argc, char** argv)
spot::ltl::formula* ftmp = f; spot::ltl::formula* ftmp = f;
if (reduc_r4) if (reduc_r4)
{
f = spot::ltl::reduce(f); f = spot::ltl::reduce(f);
else { }
if (reduc_r1 | reduc_r2 | reduc_r3) { else if (reduc_r1 | reduc_r2 | reduc_r3)
{
spot::ltl::option o = spot::ltl::BRI; spot::ltl::option o = spot::ltl::BRI;
if (reduc_r1) if (reduc_r1)
o = spot::ltl::Base; o = spot::ltl::Base;
@ -358,7 +360,6 @@ main(int argc, char** argv)
o = spot::ltl::Inf; o = spot::ltl::Inf;
f = spot::ltl::reduce(f, o); f = spot::ltl::reduce(f, o);
} }
}
if (fm_opt) if (fm_opt)
to_free = a = spot::ltl_to_tgba_fm(f, dict, fm_exprop_opt, to_free = a = spot::ltl_to_tgba_fm(f, dict, fm_exprop_opt,