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

python: add bindings for to_generalized_buchi()

Browse source 
* python/spot/impl.i: Here.
* NEWS: Mention it.
This commit is contained in:
Alexandre Duret-Lutz 2017-03-08 17:33:51 +01:00
parent 4a160cb644
commit 4c08e7ec00
2 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -10,7 +10,8 @@ New in spot 2.3.1.dev (not yet released)
Python:
- The bdd_to_formula() function can now be called in Python.
- The bdd_to_formula(), and to_generalized_buchi() functions can now
be called in Python.
Documentation:

2
python/spot/impl.i
View file

@ -134,6 +134,7 @@
#include <spot/twaalgos/neverclaim.hh>
#include <spot/twaalgos/randomize.hh>
#include <spot/twaalgos/remfin.hh>
#include <spot/twaalgos/totgba.hh>
#include <spot/twaalgos/strength.hh>
#include <spot/twaalgos/sccfilter.hh>
#include <spot/twaalgos/stats.hh>
@ -535,6 +536,7 @@ def state_is_accepting(self, src) -> "bool":
%include <spot/twaalgos/neverclaim.hh>
%include <spot/twaalgos/randomize.hh>
%include <spot/twaalgos/remfin.hh>
%include <spot/twaalgos/totgba.hh>
%include <spot/twaalgos/strength.hh>
%include <spot/twaalgos/sccfilter.hh>
%include <spot/twaalgos/stats.hh>