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

twaalgos: Help sat_build to ignore unuseful transitions

Browse source 
* spot/twaalgos/dtbasat.cc: Fix static sat_build.
* spot/twaalgos/dtwasat.cc: Fix static sat_build.
This commit is contained in:
Alexandre GBAGUIDI AISSE 2016-10-12 10:38:29 +02:00
parent dfd500a559
commit 79f4c8e0d7
2 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/dtbasat.cc
View file

@ -646,6 +646,10 @@ namespace spot
if (t != satdict.revtransid.end()) if (t != satdict.revtransid.end())
{ {
// Ignore unuseful transitions because of reduced cand_size.
if (t->second.src >= satdict.cand_size)
continue;
// Skip (s,l,d2) if we have already seen some (s,l,d1). // Skip (s,l,d2) if we have already seen some (s,l,d1).
if (seen_trans.insert(src_cond(t->second.src, if (seen_trans.insert(src_cond(t->second.src,
t->second.cond)).second) t->second.cond)).second)

4
spot/twaalgos/dtwasat.cc
View file

@ -1041,6 +1041,10 @@ namespace spot
if (t != satdict.revtransid.end()) if (t != satdict.revtransid.end())
{ {
// Ignore unuseful transitions because of reduced cand_size.
if (t->second.src >= satdict.cand_size)
continue;
// Skip (s,l,d2) if we have already seen some (s,l,d1). // Skip (s,l,d2) if we have already seen some (s,l,d1).
if (seen_trans.insert(src_cond(t->second.src, if (seen_trans.insert(src_cond(t->second.src,
t->second.cond)).second) t->second.cond)).second)