• Alexandre Duret-Lutz's avatar
    Reverse the order of expected acceptance conditions in · 58b233db
    Alexandre Duret-Lutz authored
    degeneralization.
    
    * src/tgba/tgbatba.cc (tgba_sba_proxy::tgba_tba_proxy): Build the
    list of acceptance condition in the reverse order.  The order is
    still arbitrary, but the bdd_satone() call seems to output the
    acceptance conditions that are more used first, and this helps the
    degeneralization process.
    58b233db
To find the state of this project's repository at the time of any of these versions, check out the tags.