• Alexandre Duret-Lutz's avatar
    Simplify copying of atomic propositions in new tgba_digraph. · 10e5c623
    Alexandre Duret-Lutz authored
    * src/tgba/bdddict.cc, src/tgba/bdddict.hh
    (register_all_propositions_of): New method.
    * src/tgba/tgbagraph.hh (copy_ap_of): New method.
    * src/dstarparse/dra2ba.cc, src/dstarparse/nra2nba.cc,
    src/dstarparse/nsa2tgba.cc, src/tgbaalgos/degen.cc,
    src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc,
    src/tgbaalgos/dupexp.cc, src/tgbaalgos/emptiness.cc,
    src/tgbaalgos/minimize.cc, src/tgbaalgos/powerset.cc,
    src/tgbaalgos/sccfilter.cc, src/tgbaalgos/simulation.cc,
    src/tgbaalgos/stripacc.cc: Simplify using copy_ap_of.
    10e5c623
emptiness.cc 8.82 KB