• Alexandre Duret-Lutz's avatar
    remove the sba interface · e9893586
    Alexandre Duret-Lutz authored
    * src/tgba/tgbagraph.hh: Automatize the setting of the SingleAccSet
    property.
    * src/tgbaalgos/minimize.cc: Do not bother setting SingleAccSet.
    * src/tgba/sba.hh: Delete.
    * src/tgba/Makefile.am, wrap/python/spot.i: Adjust.
    * src/taalgos/tgba2ta.cc: Do not include sba.hh.
    * src/neverparse/neverclaimparse.yy: Set the SBA property on the output.
    * src/tgbaalgos/lbtt.cc (lbtt_read_gba): Set the StateBasedAcc property
    on output.
    * src/tgbaalgos/dotty.cc, src/tgbaalgos/neverclaim.cc: Do not rely on
    the sba interface.
    * src/dstarparse/dra2ba.cc, src/dstarparse/nra2nba.cc,
    src/tgbaalgos/simulation.cc, src/tgbaalgos/sccfilter.cc: Set
    tgba_digraph::StateBasedAcc as appropriate.
    * src/tgbatest/ltl2tgba.cc: Add extra assert.
    e9893586
tgba2ta.cc 19.7 KB