• Alexandre Duret-Lutz's avatar
    rename copy_acceptance_conditions_of() · a79267b8
    Alexandre Duret-Lutz authored
    ... into copy_acceptance_of().  For #65.
    
    * src/tgba/tgbagraph.hh, src/tgbaalgos/dupexp.cc,
    src/tgbaalgos/emptiness.cc, src/tgbaalgos/mask.cc,
    src/tgbaalgos/powerset.cc, src/tgbaalgos/sbacc.cc,
    src/tgbaalgos/simulation.cc, src/tgbaalgos/stutter.cc: Here.
    a79267b8
stutter.cc 15.4 KB