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

* src/tgbaalgos/lbtt.cc (lbtt_bfs::process_link): Adjust prototype.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2004-11-04 06:59:47 +00:00
parent 7688431451
commit c3d50ed019
2 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
ChangeLog
View file

@ -1,3 +1,7 @@
2004-11-04 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/lbtt.cc (lbtt_bfs::process_link): Adjust prototype.
2004-11-03 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/dottydec.cc, src/tgbaalgos/dottydec.hh,
@ -10,7 +14,7 @@
dotty_bfs::process_link): Use the decorator.
* src/tgbatest/ltl2tgba.cc: Graph the accepting run if the -g option
is given.
* src/tgbatest/emptchk.test: Exercize -g.
* src/tgbatest/emptchk.test: Exercise -g.
* src/tgbaalgos/replayrun.cc (replay_tgba_run): Add missing std::endl.

3
src/tgbaalgos/lbtt.cc
View file

@ -133,7 +133,8 @@ namespace spot
}
void
process_link(int, int out, const tgba_succ_iterator* si)
process_link(const state*, int,
const state*, int out, const tgba_succ_iterator* si)
{
body_ << out - 1 << " ";
acs_.split(body_, si->current_acceptance_conditions());