• Alexandre Duret-Lutz's avatar
    determinize: remove superfluous options · 8e26852a
    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