• Alexandre Duret-Lutz's avatar
    Perform WDBA minimization before degeneralization. · e531da8d
    Alexandre Duret-Lutz authored
    There is no point in degeneralizing an automaton if it can be WDBA
    minimized.  Doing so will only augment the number of states and
    slow down the powerset construction used by the WDBA minimization.
    * src/tgbatest/babiak.test: New file.  It includes 5 formulae
    which Tomáš Babiak reported Spot 0.7.1 would take over one hour to
    translate if degeneralization and WDBA minimization were both
    * src/tgbatest/Makefile.am (TESTS): Add it.
    * src/tgbatest/ltl2tgba.cc: Do WDBA minimization before
    degeneralization.  The above formulae are now all translated in a
    few seconds.