• Alexandre Duret-Lutz's avatar
    * src/tgba/tgba.hh: Rename as ... · 88514330
    Alexandre Duret-Lutz authored
    * src/tgba/public.hh: .. this.
    * src/tgba/tgba.hh: New file.
    * src/tgba/Makefile.am (libtgba_la_SOURCES): Add public.hh.
    * src/tgba/tgbabddconcrete.hh (tgba_bdd_concrete): Inherit from tgba.
    (tgba_bdd_concrete::init_iter): Delete.
    (tgba_bdd_concrete::succ_iter): Take a state_bdd as argument,
    not a bdd.
    * src/tgba/tgbabddconcrete.cc: Likewise.
    88514330
To find the state of this project's repository at the time of any of these versions, check out the tags..
ChangeLog 15.8 KB