• Alexandre Duret-Lutz's avatar
    * src/tgba/tgbabddconcretefactory.cc: · cf136e84
    Alexandre Duret-Lutz authored
    (tgba_bdd_concrete_factory::tgba_bdd_concrete_factory): New.
    (tgba_bdd_concrete_factory::create_state): Update now_to_next_.
    (tgba_bdd_concrete_factory::finish): Constraint Next variables
    in the relation.
    * src/tgba/tgbabddconcretefactory.hh
    (tgba_bdd_concrete_factory::now_to_next_): New variable.
    cf136e84
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 38.2 KB