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

Fix previous patch.

Browse source 
* src/tgbaalgos/scc.cc (scc_map::update_supp_rec): Also take the
label of the outgoing edges into account.
This commit is contained in:
Alexandre Duret-Lutz 2009-09-28 15:29:31 +02:00
parent fd0de04d24
commit 1208365b8c
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2009-09-28 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix previous patch.
* src/tgbaalgos/scc.cc (scc_map::update_supp_rec): Also take the
label of the outgoing edges into account.
2009-09-18 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2009-09-18 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Optimize previous patch. Optimize previous patch.

2
src/tgbaalgos/scc.cc
View file

@ -120,7 +120,7 @@ namespace spot
res = scc_map_[state].supp; res = scc_map_[state].supp;
for (it = s.begin(); it != s.end(); ++it) for (it = s.begin(); it != s.end(); ++it)
res &= update_supp_rec(it->first); res &= update_supp_rec(it->first) & bdd_support(it->second);
} }
return res; return res;