-
Alexandre Duret-Lutz authored
Issue #45. * src/tgbaalgos/simulation.cc, src/tgbaalgos/simulation.hh: Take a tgba_digraph is input. * src/tgbatest/ltl2tgba.cc: Adjust.
64469f3d
Issue #45. * src/tgbaalgos/simulation.cc, src/tgbaalgos/simulation.hh: Take a tgba_digraph is input. * src/tgbatest/ltl2tgba.cc: Adjust.