-
Alexandre Duret-Lutz authored
They are unused. * src/twaalgos/sccinfo.cc, src/twaalgos/sccinfo.hh: Do not keep track of conditions between two SCCs. * src/twaalgos/minimize.cc, src/twaalgos/ltl2tgba_fm.cc: Adjust.
c8cf86b0
They are unused. * src/twaalgos/sccinfo.cc, src/twaalgos/sccinfo.hh: Do not keep track of conditions between two SCCs. * src/twaalgos/minimize.cc, src/twaalgos/ltl2tgba_fm.cc: Adjust.