alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/spot.i: Generate bindings for tgbaalgos/dottydec.hh,

Browse source 
tgbaalgos/emptiness.hh, tgbaalgos/gtec/gtec.hh, and
tgbaalgos/rundotdec.hh.
This commit is contained in:
Alexandre Duret-Lutz 2004-11-04 08:03:59 +00:00
parent c3d50ed019
commit 1d3100607a
2 changed files with 14 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,5 +1,9 @@
2004-11-04 Alexandre Duret-Lutz <adl@src.lip6.fr> 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. * src/tgbaalgos/lbtt.cc (lbtt_bfs::process_link): Adjust prototype.
2004-11-03 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-11-03 Alexandre Duret-Lutz <adl@src.lip6.fr>

10
wrap/python/spot.i
View file

@ -76,11 +76,15 @@
#include "tgbaalgos/ltl2tgba_lacim.hh" #include "tgbaalgos/ltl2tgba_lacim.hh"
#include "tgbaalgos/ltl2tgba_fm.hh" #include "tgbaalgos/ltl2tgba_fm.hh"
#include "tgbaalgos/dottydec.hh"
#include "tgbaalgos/dotty.hh" #include "tgbaalgos/dotty.hh"
#include "tgbaalgos/dupexp.hh" #include "tgbaalgos/dupexp.hh"
#include "tgbaalgos/lbtt.hh" #include "tgbaalgos/lbtt.hh"
#include "tgbaalgos/emptiness.hh"
#include "tgbaalgos/gtec/gtec.hh"
#include "tgbaalgos/magic.hh" #include "tgbaalgos/magic.hh"
#include "tgbaalgos/neverclaim.hh" #include "tgbaalgos/neverclaim.hh"
#include "tgbaalgos/rundotdec.hh"
#include "tgbaalgos/save.hh" #include "tgbaalgos/save.hh"
#include "tgbaalgos/stats.hh" #include "tgbaalgos/stats.hh"
@ -126,6 +130,8 @@ using namespace spot;
%feature("new") spot::tgba_succ_iterator::current_state; %feature("new") spot::tgba_succ_iterator::current_state;
%feature("new") spot::tgba_dupexp_bfs; %feature("new") spot::tgba_dupexp_bfs;
%feature("new") spot::tgba_dupexp_dfs; %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. // Help SWIG with namespace lookups.
#define ltl spot::ltl #define ltl spot::ltl
@ -144,11 +150,15 @@ using namespace spot;
%include "tgbaalgos/ltl2tgba_lacim.hh" %include "tgbaalgos/ltl2tgba_lacim.hh"
%include "tgbaalgos/ltl2tgba_fm.hh" %include "tgbaalgos/ltl2tgba_fm.hh"
%include "tgbaalgos/dottydec.hh"
%include "tgbaalgos/dotty.hh" %include "tgbaalgos/dotty.hh"
%include "tgbaalgos/dupexp.hh" %include "tgbaalgos/dupexp.hh"
%include "tgbaalgos/lbtt.hh" %include "tgbaalgos/lbtt.hh"
%include "tgbaalgos/emptiness.hh"
%include "tgbaalgos/gtec/gtec.hh"
%include "tgbaalgos/magic.hh" %include "tgbaalgos/magic.hh"
%include "tgbaalgos/neverclaim.hh" %include "tgbaalgos/neverclaim.hh"
%include "tgbaalgos/rundotdec.hh"
%include "tgbaalgos/save.hh" %include "tgbaalgos/save.hh"
%include "tgbaalgos/stats.hh" %include "tgbaalgos/stats.hh"
#undef ltl #undef ltl