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

* src/tgbaalgos/isweakscc.cc (is_inherently_weak_scc): Allow Fin.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-02-27 23:58:02 +01:00
parent b396f373fa
commit 5749fe6f7c
1 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tgbaalgos/isweakscc.cc
View file

@ -67,12 +67,8 @@ namespace spot
bool bool
is_inherently_weak_scc(scc_info& map, unsigned scc) is_inherently_weak_scc(scc_info& map, unsigned scc)
{ {
if (!map.get_aut()->acc().uses_fin_acceptance()) // Weak SCCs are inherently weak.
throw std::runtime_error if (is_weak_scc(map, scc))
("is_inherently_weak_scc() cannot work with Fin acceptance");
// If no cycle is accepting, the SCC is weak.
if (!map.is_accepting_scc(scc))
return true; return true;
// If the SCC is accepting, but one cycle is not, the SCC is not // If the SCC is accepting, but one cycle is not, the SCC is not
// weak. // weak.