Commit 29a1e3a2 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

python: add missing bindings for randomize()

* python/spot/impl.i: Here.
* NEWS: Mention it.
* tests/python/highlighting.ipynb: Add test case.
parent 69b687ab
...@@ -112,6 +112,8 @@ New in spot 2.0.3a (not yet released) ...@@ -112,6 +112,8 @@ New in spot 2.0.3a (not yet released)
* Bindings for language_containment_checker were added. * Bindings for language_containment_checker were added.
* Bindings for randomize() were added.
* Under IPython the spot.ltsmin modules now offers a * Under IPython the spot.ltsmin modules now offers a
%%pml magic to define promela models, compile them %%pml magic to define promela models, compile them
with spins, and dynamically load them. This is with spins, and dynamically load them. This is
......
...@@ -128,6 +128,7 @@ ...@@ -128,6 +128,7 @@
#include <spot/twaalgos/magic.hh> #include <spot/twaalgos/magic.hh>
#include <spot/twaalgos/minimize.hh> #include <spot/twaalgos/minimize.hh>
#include <spot/twaalgos/neverclaim.hh> #include <spot/twaalgos/neverclaim.hh>
#include <spot/twaalgos/randomize.hh>
#include <spot/twaalgos/remfin.hh> #include <spot/twaalgos/remfin.hh>
#include <spot/twaalgos/strength.hh> #include <spot/twaalgos/strength.hh>
#include <spot/twaalgos/sccfilter.hh> #include <spot/twaalgos/sccfilter.hh>
...@@ -435,6 +436,7 @@ namespace std { ...@@ -435,6 +436,7 @@ namespace std {
%include <spot/twaalgos/magic.hh> %include <spot/twaalgos/magic.hh>
%include <spot/twaalgos/minimize.hh> %include <spot/twaalgos/minimize.hh>
%include <spot/twaalgos/neverclaim.hh> %include <spot/twaalgos/neverclaim.hh>
%include <spot/twaalgos/randomize.hh>
%include <spot/twaalgos/remfin.hh> %include <spot/twaalgos/remfin.hh>
%include <spot/twaalgos/strength.hh> %include <spot/twaalgos/strength.hh>
%include <spot/twaalgos/sccfilter.hh> %include <spot/twaalgos/sccfilter.hh>
......
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment