• Alexandre Duret-Lutz's avatar
    acc: do not store a bdd_dict · 856adef9
    Alexandre Duret-Lutz authored
    Fixes #55.
    
    * src/tgba/acc.hh: Do not store a bdd_dict_ptr, it is not used.
    * src/tgba/tgba.hh, src/tgba/tgba.cc, src/ta/ta.hh,
    src/tgba/tgbagraph.hh, src/tgbaalgos/dtgbasat.cc,
    src/tgbatest/acc.cc: Adjust.
    856adef9
tgba.cc 2.92 KB