-
Alexandre Duret-Lutz authored
bisimulation and complete just trigger extra algorithms to be called at the end of this one, so they need not be part of this algorithm. * spot/twaalgos/determinize.cc, spot/twaalgos/determinize.hh: Reduce the number of options. * tests/core/safra.cc: Implement those options here.
8e26852a