• Alexandre Duret-Lutz's avatar
    * src/tgba/ltl2tgba.hh, src/tgba/ltl2tgba.cc: Move ... · 7fdd7861
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/ltl2tgba.hh, src/tgbaalgos/ltl2tgba.cc: ... here.
    * src/tgba/Makefile.am, src/tgbaalgos/Makefile.am: Adjust.
    * src/tgba/public.hh: Do not include ltl2tgba.hh.
    * src/tgbatests/explprod.cc, src/tgbatests/ltl2tgba.cc,
    src/tgbatests/ltlprod.cc, src/tgbatests/mixprod.cc,
    src/tgbatests/reach.cc, src/tgbatests/tripprod.cc: Adjust inclusions.
    7fdd7861
Makefile.am 885 Bytes