• Alexandre Duret-Lutz's avatar
    * src/tgba/tgbabddprod.cc, src/tgba/tgbabddprod.hh: Rename as ... · 4db70160
    Alexandre Duret-Lutz authored
    * src/tgba/tgbaproduct.cc, src/tgba/tgbaproduct.hh: ... these.
    (tgba_bdd_product, tgba_bdd_product_succ_iterator): Rename as ...
    (tgba_product, tgba_product_succ_iterator): ... these, and adjust
    all uses.
    * src/tgba/tgbabddtranslateproxy.cc,
    src/tgba/tgbabddtranslateproxy.hh: Rename as ...
    * src/tgba/tgbatranslateproxy.cc,
    src/tgba/tgbatranslateproxy.hh: ... these.
    (tgba_bdd_translate_proxy, tgba_bdd_translate_proxy_succ_iterator):
    Rename as ...
    (tgba_translate_proxy, tgba_translate_proxy_succ_iterator): ... these,
    and adjust all uses.
    4db70160
Makefile.am 850 Bytes