• Alexandre Duret-Lutz's avatar
    Initial code for TGBA (Transition Generalized Bchi Automata). · c0393414
    Alexandre Duret-Lutz authored
    Contains tgba_bdd, a BDD-encoded TGBA, and ltl_to_tgba,
    a LTL-to-TGBA translator using Couvreur's algorithm.
    
    * src/Makefile.am (SUBDIRS): Add tgba.
    (libspot_la_LIBADD): Add tgba/libtgba.la.
    * src/tgba/Makefile.am, src/tgba/bddfactory.cc,
    src/tgba/bddfactory.hh, src/tgba/dictunion.cc,
    src/tgba/dictunion.hh, src/tgba/ltl2tgba.cc, src/tgba/ltl2tgba.hh,
    src/tgba/state.hh, src/tgba/statebdd.cc, src/tgba/statebdd.hh,
    src/tgba/succiter.hh, src/tgba/succiterconcrete.cc,
    src/tgba/succiterconcrete.hh, src/tgba/succlist.hh,
    src/tgba/tgba.hh, src/tgba/tgbabddconcrete.cc,
    src/tgba/tgbabddconcrete.hh, src/tgba/tgbabddconcretefactory.cc,
    src/tgba/tgbabddconcretefactory.hh,
    src/tgba/tgbabddconcreteproduct.cc,
    src/tgba/tgbabddconcreteproduct.hh, src/tgba/tgbabddcoredata.cc,
    src/tgba/tgbabddcoredata.hh, src/tgba/tgbabdddict.cc,
    src/tgba/tgbabdddict.hh, src/tgba/tgbabddfactory.hh,
    src/tgba/tgbabddtranslatefactory.cc,
    src/tgba/tgbabddtranslatefactory.hh: New files.
    c0393414
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 15.4 KB