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

python: export the sat-minimization routines

Browse source 
* wrap/python/spot_impl.i: Here.
This commit is contained in:
Alexandre Duret-Lutz 2015-04-27 17:22:08 +02:00
parent ec49398e84
commit 9480669e99
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
wrap/python/spot_impl.i
View file

@ -140,6 +140,7 @@ namespace std {
#include "twaalgos/stutter.hh" #include "twaalgos/stutter.hh"
#include "twaalgos/translate.hh" #include "twaalgos/translate.hh"
#include "twaalgos/hoa.hh" #include "twaalgos/hoa.hh"
#include "twaalgos/dtgbasat.hh"
#include "hoaparse/public.hh" #include "hoaparse/public.hh"
@ -282,6 +283,7 @@ using namespace spot;
%include "twaalgos/stutter.hh" %include "twaalgos/stutter.hh"
%include "twaalgos/translate.hh" %include "twaalgos/translate.hh"
%include "twaalgos/hoa.hh" %include "twaalgos/hoa.hh"
%include "twaalgos/dtgbasat.hh"
%include "hoaparse/public.hh" %include "hoaparse/public.hh"