-
Alexandre Duret-Lutz authored
* src/tgbaalgos/isdet.cc, src/tgbaalgos/isdet.hh: Rewrite using the tgba_digraph interface. * src/tgbatest/ltl2tgba.cc: Adjust call.
6f7f9ef8
* src/tgbaalgos/isdet.cc, src/tgbaalgos/isdet.hh: Rewrite using the tgba_digraph interface. * src/tgbatest/ltl2tgba.cc: Adjust call.