• Alexandre Duret-Lutz's avatar
    Prefix many algorithms with runtime_error for unexpected acceptance · f0b1b943
    Alexandre Duret-Lutz authored
    * src/tgba/tgbagraph.cc (merge_transitions): Disable acceptance
    merging if Fin acceptance is used.
    * src/tgbaalgos/degen.cc, src/tgbaalgos/dtbasat.cc,
    src/tgbaalgos/dtgbasat.cc, src/tgbaalgos/isweakscc.cc,
    src/tgbaalgos/lbtt.cc, src/tgbaalgos/minimize.cc,
    src/tgbaalgos/neverclaim.cc, src/tgbaalgos/safety.cc,
    src/tgbaalgos/sccfilter.cc, src/tgbaalgos/simulation.cc: Throw an
    exception if an unsupported type of acceptance is received.
    f0b1b943
dtgbasat.cc 24.1 KB