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

* src/tgba/succiterconcrete.cc (tgba_succ_iterator_concrete::next):

Browse source 
Fix computation of states sharing the same accepting set.
This commit is contained in:
Alexandre Duret-Lutz 2003-07-09 14:06:03 +00:00
parent d14eee25bf
commit 5cc9c66dc0
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ChangeLog
View file

@ -1,7 +1,7 @@
2003-07-09 Alexandre Duret-Lutz <aduret@src.lip6.fr> 2003-07-09 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* src/tgba/succiterconcrete.cc (tgba_succ_iterator_concrete::next): * src/tgba/succiterconcrete.cc (tgba_succ_iterator_concrete::next):
Fix computation of states sharing the same accepting state. Fix computation of states sharing the same accepting set.
Make sure we only output one initial state in LBTT's output. Make sure we only output one initial state in LBTT's output.
* src/tgbaalgos/lbtt.cc (fill_todo): Add the 'first' argument * src/tgbaalgos/lbtt.cc (fill_todo): Add the 'first' argument