• Alexandre Duret-Lutz's avatar
    * src/tgba/tgbabddconcretefactory.cc: · 12f66a3b
    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.
    12f66a3b
tgbabddconcretefactory.cc 3.63 KB