-
Alexandre Duret-Lutz authored
* src/tgbaalgos/postproc.hh (run): Rename the first argument as input_disown to help Swig. * wrap/python/spot.i: Wrap spot::postprocessor. * wrap/python/ajax/ltl2tgba.html, wrap/python/ajax/protocol.txt: Add an option for nondeterministic monitor. * wrap/python/ajax/spot.in: Honor the new option, and rewrite the monitor production using postprocessor.
abb51705