From 1d3100607ab366db39ad08b4639c9a93a13b8604 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 4 Nov 2004 08:03:59 +0000
Subject: [PATCH] * wrap/python/spot.i: Generate bindings for
 tgbaalgos/dottydec.hh, tgbaalgos/emptiness.hh, tgbaalgos/gtec/gtec.hh, and
 tgbaalgos/rundotdec.hh.

---
 ChangeLog          |  4 ++++
 wrap/python/spot.i | 10 ++++++++++
 2 files changed, 14 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index d0af5a7f3..415a81431 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2004-11-04  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* wrap/python/spot.i: Generate bindings for tgbaalgos/dottydec.hh,
+	tgbaalgos/emptiness.hh, tgbaalgos/gtec/gtec.hh, and
+	tgbaalgos/rundotdec.hh.
+
 	* src/tgbaalgos/lbtt.cc (lbtt_bfs::process_link): Adjust prototype.
 
 2004-11-03  Alexandre Duret-Lutz  <adl@src.lip6.fr>
diff --git a/wrap/python/spot.i b/wrap/python/spot.i
index 2e1f85384..f92bc9601 100644
--- a/wrap/python/spot.i
+++ b/wrap/python/spot.i
@@ -76,11 +76,15 @@
 
 #include "tgbaalgos/ltl2tgba_lacim.hh"
 #include "tgbaalgos/ltl2tgba_fm.hh"
+#include "tgbaalgos/dottydec.hh"
 #include "tgbaalgos/dotty.hh"
 #include "tgbaalgos/dupexp.hh"
 #include "tgbaalgos/lbtt.hh"
+#include "tgbaalgos/emptiness.hh"
+#include "tgbaalgos/gtec/gtec.hh"
 #include "tgbaalgos/magic.hh"
 #include "tgbaalgos/neverclaim.hh"
+#include "tgbaalgos/rundotdec.hh"
 #include "tgbaalgos/save.hh"
 #include "tgbaalgos/stats.hh"
 
@@ -126,6 +130,8 @@ using namespace spot;
 %feature("new") spot::tgba_succ_iterator::current_state;
 %feature("new") spot::tgba_dupexp_bfs;
 %feature("new") spot::tgba_dupexp_dfs;
+%feature("new") spot::emptiness_check::check;
+%feature("new") spot::emptiness_check_result::accepting_run;
 
 // Help SWIG with namespace lookups.
 #define ltl spot::ltl
@@ -144,11 +150,15 @@ using namespace spot;
 
 %include "tgbaalgos/ltl2tgba_lacim.hh"
 %include "tgbaalgos/ltl2tgba_fm.hh"
+%include "tgbaalgos/dottydec.hh"
 %include "tgbaalgos/dotty.hh"
 %include "tgbaalgos/dupexp.hh"
 %include "tgbaalgos/lbtt.hh"
+%include "tgbaalgos/emptiness.hh"
+%include "tgbaalgos/gtec/gtec.hh"
 %include "tgbaalgos/magic.hh"
 %include "tgbaalgos/neverclaim.hh"
+%include "tgbaalgos/rundotdec.hh"
 %include "tgbaalgos/save.hh"
 %include "tgbaalgos/stats.hh"
 #undef ltl