Skip to content
  • Alexandre Duret-Lutz's avatar
    Fix a nondeterministic behavior of the degeneralization algorithm. · 03aabf9a
    Alexandre Duret-Lutz authored
    Reported by Tomáš Babiak <xbabiak@fi.muni.cz>.
    
    * src/tgba/tgbatba.cc (tgba_tba_proxy): Replace the std::map used
    to record outgoing transitions by an Sgi::hash_map, and keep the
    order of these transitions in a separate list.
    * src/tgbatest/degendet.test: New file.
    * src/tgbatest/Makefile.am (TESTS): Add it.
    * THANKS: Add Tomáš and convert to utf8.
    03aabf9a