• Alexandre Duret-Lutz's avatar
    get rid of prop_single_acc_set() and set_single_acc_set() · b803a0ee
    Alexandre Duret-Lutz authored
    Fixes #64.
    
    * src/tgba/tgba.hh: Here.
    * src/tgbaalgos/complete.cc, src/tgbaalgos/degen.cc,
    src/tgbaalgos/dtgbacomp.cc, src/tgbaalgos/mask.cc,
    src/tgbaalgos/minimize.cc, src/tgbaalgos/remfin.cc,
    src/tgbaalgos/sccfilter.cc, src/tgbaalgos/simulation.cc,
    src/tgbaalgos/stutter.cc: Adjust.
    b803a0ee
tgba.hh 24 KB