• Alexandre Duret-Lutz's avatar
    dtbasat,dtgbasat: rewrite using the tgba_digraph interface · edb220af
    Alexandre Duret-Lutz authored
    This gets rid of many state*/int conversions.  We now use scc_info
    instead of scc_map.  Finally the loops are now all 0-based.
    
    * src/tgbaalgos/sccinfo.cc, src/tgbaalgos/sccinfo.hh (weak_sccs): New
    method.
    * src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtbasat.hh,
    src/tgbaalgos/dtgbasat.cc, src/tgbaalgos/dtgbasat.hh: Use the
    tgba_digraph interface.
    * src/tgbatest/ltl2tgba.cc: Adjust calls.
    edb220af