-
Alexandre Duret-Lutz authored
* src/twa/twagraph.cc, src/twa/twagraph.hh (create_formula_namer, release_formula_namer): New functions. * src/twaalgos/ltl2tgba_fm.cc: Use it.
778d8fe9
* src/twa/twagraph.cc, src/twa/twagraph.hh (create_formula_namer, release_formula_namer): New functions. * src/twaalgos/ltl2tgba_fm.cc: Use it.