Skip to content
  • Alexandre Duret-Lutz's avatar
    Cleanup the minimize.hh interface. · 8c972ad3
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/minimize.hh, src/tgbaalgos/minimize.cc
    (minimize): Split into ...
    (minimize_wdba, minimize_monitor): ... these two functions.
    * src/tgbatest/ltl2tgba.cc (main): Adjust the call to
    minimize_monitor.
    * wrap/python/cgi-bin/ltl2tgba.in: Adjust the calls to
    minimize_monitor and minimize_obligation.
    * wrap/python/spot.i: Declare minimize_monitor, minimize_wdba,
    minimize_obligations.
    * src/tgba/tgbaexplicit.hh (tgba_explicit_string)
    (tgba_explicit_formula, tgba_explicit_number): Add fake
    declarations so that SWIG can see they inherits from tgba.
    8c972ad3