-
Alexandre Duret-Lutz authored
tgba_bdd_core_data::translate): Handle all_accepting_conditions. * src/tgba/tgbabddconcretefactory.cc (tgba_bdd_concrete_factory::finish): Fill all_accepting_conditions.
f754d111
To find the state of this project's repository at the time of any of these versions, check out the tags.