-
Alexandre Duret-Lutz authored
Automatic mass renaming. * src/tgba/tgbagraph.hh, src/tgbaalgos/powerset.cc: Rename tgba_graph_state and tgba_graph_trans_data as twa_graph_state and twa_graph_trans_data.
2648ea17
Automatic mass renaming. * src/tgba/tgbagraph.hh, src/tgbaalgos/powerset.cc: Rename tgba_graph_state and tgba_graph_trans_data as twa_graph_state and twa_graph_trans_data.