• Alexandre Duret-Lutz's avatar
    rename set_single_acceptance_set() to set_buchi() · 47d9a2d5
    Alexandre Duret-Lutz authored
    Fixes #66.
    
    * src/dstarparse/dra2ba.cc, src/dstarparse/nra2nba.cc,
    src/hoaparse/hoaparse.yy, src/tgba/tgbagraph.hh,
    src/tgbaalgos/complete.cc, src/tgbaalgos/degen.cc,
    src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbacomp.cc,
    src/tgbaalgos/minimize.cc, src/tgbaalgos/postproc.cc: Here.
    47d9a2d5
tgbagraph.hh 11.7 KB