From 0568eaf0ee1e72a15c559f21d856064fd1e8ef12 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 6 Feb 2011 18:57:40 +0100
Subject: [PATCH] Speedup scc_filter on tgba_explicit_number automata.

* src/tgbaalgos/sccfilter.cc (scc_filter): If the input automaton
is an instance of tgba_explicit_number, create a similar automaton
for output, instead of a tgba_explicit_string.
---
 ChangeLog | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 5046fc488..494c66ac8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2011-02-06  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Speedup scc_filter on tgba_explicit_number automata.
+
+	* src/tgbaalgos/sccfilter.cc (scc_filter): If the input automaton
+	is an instance of tgba_explicit_number, create a similar automaton
+	for output, instead of a tgba_explicit_string.
+
 2011-02-06  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Document the new operators in the on-line tools.