• Alexandre Duret-Lutz's avatar
    rename set_acceptance_conditions as set_generalized_buchi · 76c676db
    Alexandre Duret-Lutz authored
    * src/hoaparse/hoaparse.yy, src/tgba/tgbagraph.hh,
    src/tgbaalgos/compsusp.cc, src/tgbaalgos/dtgbasat.cc,
    src/tgbaalgos/mask.cc, src/tgbaalgos/randomgraph.cc,
    src/tgbaalgos/sccfilter.cc, src/tgbaalgos/simulation.cc,
    src/tgbaalgos/stripacc.cc, src/tgba/tgba.hh: Here.
    76c676db
tgba.hh 23.5 KB