-
Alexandre Duret-Lutz authored
The scc_map knows the automaton already. * src/tgbaalgos/cycles.cc, src/tgbaalgos/cycles.hh, src/tgbaalgos/isweakscc.cc, src/tgbaalgos/isweakscc.hh: Simplify the interface. * src/tgbatest/ltl2tgba.cc: Adjust calls.
d228784c