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

* spot/twaalgos/sccinfo.cc (scc_info::split_on_sets): Honor filter.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2019-04-11 11:49:15 +02:00
parent 948f99bc4e
commit f7e3d58846
1 changed files with 14 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

27
spot/twaalgos/sccinfo.cc
View file

@ -722,19 +722,20 @@ namespace spot
unsigned dst)
{
cur[src] = seen[src] = true;
// if (filter_)
// {
// twa_graph::edge_storage_t e;
// e.cond = cond;
// e.src = src;
// e.dst = dst;
// if (filter_(e, dst, filter_data_)
// != edge_filter_choice::keep)
// {
// cond = bddfalse;
// return;
// }
// }
if (filter_)
{
twa_graph::edge_storage_t e;
e.cond = cond;
e.acc = m;
e.src = src;
e.dst = dst;
if (filter_(e, dst, filter_data_)
!= edge_filter_choice::keep)
{
cond = bddfalse;
return;
}
}
if (scc_of(dst) != scc
|| (m & sets)
|| (seen[dst] && !cur[dst]))