From f7e3d58846f7b9bc7035b7755c3395c6a0a63b32 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 11 Apr 2019 11:49:15 +0200
Subject: [PATCH] * spot/twaalgos/sccinfo.cc (scc_info::split_on_sets): Honor
 filter.

---
 spot/twaalgos/sccinfo.cc | 27 ++++++++++++++-------------
 1 file changed, 14 insertions(+), 13 deletions(-)

diff --git a/spot/twaalgos/sccinfo.cc b/spot/twaalgos/sccinfo.cc
index d50794ef3..2b45987f7 100644
--- a/spot/twaalgos/sccinfo.cc
+++ b/spot/twaalgos/sccinfo.cc
@@ -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]))