From 79f4c8e0d78be70e620296ed3ac111becb0ff3c6 Mon Sep 17 00:00:00 2001 From: Alexandre GBAGUIDI AISSE Date: Wed, 12 Oct 2016 10:38:29 +0200 Subject: [PATCH] twaalgos: Help sat_build to ignore unuseful transitions * spot/twaalgos/dtbasat.cc: Fix static sat_build. * spot/twaalgos/dtwasat.cc: Fix static sat_build. --- spot/twaalgos/dtbasat.cc | 4 ++++ spot/twaalgos/dtwasat.cc | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/spot/twaalgos/dtbasat.cc b/spot/twaalgos/dtbasat.cc index bac09e79b..a1e1a890f 100644 --- a/spot/twaalgos/dtbasat.cc +++ b/spot/twaalgos/dtbasat.cc @@ -646,6 +646,10 @@ namespace spot 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). if (seen_trans.insert(src_cond(t->second.src, t->second.cond)).second) diff --git a/spot/twaalgos/dtwasat.cc b/spot/twaalgos/dtwasat.cc index 6c745458a..90f6b3758 100644 --- a/spot/twaalgos/dtwasat.cc +++ b/spot/twaalgos/dtwasat.cc @@ -1041,6 +1041,10 @@ namespace spot 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). if (seen_trans.insert(src_cond(t->second.src, t->second.cond)).second)