-
Alexandre Duret-Lutz authored
* src/graph/graph.hh (new_states): New. * src/tgba/tgbagraph.hh (graph_t): Make it public. * src/tgbaalgos/simulation.cc: Get read of the acc_compl_automaton class and replace it by a loop over all states of a tgba_digraph. Remove some useless data structures.
bb2ce45b