-
Alexandre Duret-Lutz authored
* src/graph/graph.hh (new_states): Call reserve(). * src/tgbaalgos/randomgraph.cc: Use tgba_digraph instead of tgba_string_explicit.
c93b41a2
* src/graph/graph.hh (new_states): Call reserve(). * src/tgbaalgos/randomgraph.cc: Use tgba_digraph instead of tgba_string_explicit.