• Alexandre Duret-Lutz's avatar
    Rewrite tgba_succ_iterator_concrete::next for the fourth time · dfe74f31
    Alexandre Duret-Lutz authored
    (or is it the fifth?).
    
    * src/tgba/succiterconcrete.hh
    (tgba_succ_iterator_concrete::trans_dest_,
    tgba_succ_iterator_concrete::trans_set_,
    tgba_succ_iterator_concrete::trans_set_left_,
    tgba_succ_iterator_concrete::neg_trans_set_): New attributes.
    * src/tgba/succiterconcrete.cc
    (tgba_succ_iterator_concrete::tgba_succ_iterator_concrete): Initialize
    new members.
    (tgba_succ_iterator_concrete::first): Likewise.
    (tgba_succ_iterator_concrete::next): Rewrite.
    * tgba/tgbabddcoredata.hh (tgba_bdd_core_data::acc_set): New attribute.
    * tgba/tgbabddcoredata.cc, tgba/tgbabddtranslatefactory.cc:
    Handle acc_set.
    dfe74f31
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 40.6 KB