• Alexandre Duret-Lutz's avatar
    Replace delete by destroy in comments dealing with states. · 0c9c9fc6
    Alexandre Duret-Lutz authored
    * src/tgba/succiter.hh, src/tgba/tgba.hh,
    src/tgba/tgbabddconcrete.hh, src/tgba/tgbaproduct.hh,
    src/tgba/tgbaunion.hh, src/tgbaalgos/bfssteps.hh,
    src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/gtec/explscc.hh,
    src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/replayrun.cc,
    src/tgbaalgos/scc.cc, src/tgbaalgos/scc.hh: Update comments
    to say that we "destroy" a state instead of "deleting" it.
    0c9c9fc6
tgba.hh 9.62 KB