Commit 5d427f6d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgbaalgos/sccfilter.cc (scc_filter): Merge transitions

after removing acceptance conditions.
parent 7ac3c5e7
2009-11-20 Alexandre Duret-Lutz <adl@va-et-vient.net>
* src/tgbaalgos/sccfilter.cc (scc_filter): Merge transitions
after removing acceptance conditions.
2009-11-18 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Remove prune_scc(), prune_acc(), and related fonctions.
......
......@@ -93,7 +93,9 @@ namespace spot
filter_iter fi(aut, sm, ss.useless_scc_map);
fi.run();
return fi.result();
tgba_explicit_string* res = fi.result();
res->merge_transitions();
return res;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment