-
Alexandre Duret-Lutz authored
* src/graph/graph.hh (trans_iterator): Add operator->() and operator bool(). * src/tgbaalgos/sccinfo.cc, src/tgbaalgos/sccinfo.hh: New files. * src/tgbaalgos/Makefile.am: Add them. * src/tgbatest/ltl2tgba.cc: Use the new dump_scc_info_dot() function.
9903ae2f