From 01cc802c2d07c5cdec5eb07e91eaa19f21562503 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 4 Aug 2003 15:42:21 +0000 Subject: [PATCH] * wrap/python/spot.i: Declare spot::tgba::get_init_state, spot::tgba::succ_iter, and spot::tgba_succ_iterator::current_state as constructors. --- ChangeLog | 4 ++++ wrap/python/spot.i | 3 +++ 2 files changed, 7 insertions(+) diff --git a/ChangeLog b/ChangeLog index e62be68b3..deaa37468 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2003-08-04 Alexandre Duret-Lutz + * wrap/python/spot.i: Declare spot::tgba::get_init_state, + spot::tgba::succ_iter, and spot::tgba_succ_iterator::current_state + as constructors. + * wrap/python/Makefile.am (lib_LTLIBRARIES) (libspotswigpy_la_SOURCES, libspotswigpy_la_CFLAGS) (libspotswigpy_la_LDFLAGS): New variables. diff --git a/wrap/python/spot.i b/wrap/python/spot.i index 759130f03..8e221bbfb 100644 --- a/wrap/python/spot.i +++ b/wrap/python/spot.i @@ -76,6 +76,9 @@ using namespace spot; %include "ltlvisit/tunabbrev.hh" %feature("new") spot::ltl_to_tgba; +%feature("new") spot::tgba::get_init_state; +%feature("new") spot::tgba::succ_iter; +%feature("new") spot::tgba_succ_iterator::current_state; // Help SWIG with namespace lookups. #define ltl spot::ltl