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
To find the state of this project's repository at the time of any of these versions, check out the tags.