From 1208365b8c903d6a5081a93c0d349d7e12eee1d3 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 28 Sep 2009 15:29:31 +0200 Subject: [PATCH] Fix previous patch. * src/tgbaalgos/scc.cc (scc_map::update_supp_rec): Also take the label of the outgoing edges into account. --- ChangeLog | 7 +++++++ src/tgbaalgos/scc.cc | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index e3c9cd5cb..ff80567e4 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2009-09-28 Alexandre Duret-Lutz + + 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 Optimize previous patch. diff --git a/src/tgbaalgos/scc.cc b/src/tgbaalgos/scc.cc index 18ceb5523..ffd37a0d2 100644 --- a/src/tgbaalgos/scc.cc +++ b/src/tgbaalgos/scc.cc @@ -120,7 +120,7 @@ namespace spot res = scc_map_[state].supp; 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;