• Alexandre Duret-Lutz's avatar
    Fix computation of support_conditions for bdd-based TGBA. · bd742ef6
    Alexandre Duret-Lutz authored
    This fixes a bug in the powerset of such TGBA on the minimize branch.
    
    * src/tgba/tgbabddconcrete.cc (compute_support_conditions): Also
    account for the conditions from the acceptance relations.
    * rc/tgba/tgbabddconcretefactory.hh, rc/tgba/tgbabddconcretefactory.cc
    (acceptance_conditions_support): New variable to hold the value
    of bdd_support(acceptance_conditions_support).
    * src/tgba/tgbabddconcretefactory.cc (finish): Update
    data_.acceptance_conditions_support.
    bd742ef6
To find the state of this project's repository at the time of any of these versions, check out the tags.