• Alexandre Duret-Lutz's avatar
    Fix tgta_explicit not to inherit from ta_explicit to please clang++. · 941cb0b5
    Alexandre Duret-Lutz authored
    * src/ta/tgtaexplicit.cc, src/ta/tgtaexplicit.hh: Use a ta_explicit
    attribute instead of inheriting from it.
    (get_ta): New method.
    * src/taalgos/minimize.cc, src/taalgos/minimize.hh,
    src/taalgos/tgba2ta.cc, src/tgbatest/ltl2tgba.cc: Adjust usage.
    * wrap/python/spot.i (as_ta): Remove, now that we have get_ta.
    * wrap/python/ajax/spot.in: Use get_ta instead of as_ta.
    941cb0b5
tgba2ta.cc 22.5 KB