Skip to content
  • Alexandre Duret-Lutz's avatar
    dstarparse: get rid of the deticated data structures and conversions · 9b5340b9
    Alexandre Duret-Lutz authored
    * src/dstarparse/dstarparse.yy: Use the twa_graph_ptr to store the
    acceptance condition.
    * src/dstarparse/dra2ba.cc, src/dstarparse/dstar2tgba.cc,
    src/dstarparse/nra2nba.cc, src/dstarparse/nsa2tgba.cc: Delete
    all these conversion routines.
    * src/dstarparse/public.hh, src/dstarparse/Makefile.am: Adjust.
    * src/bin/dstar2tgba.cc: Adjust to call to_generalized_buchi()
    instead.
    * src/bin/ltlcross.cc: Adjust to call remove_fin() instead.
    * src/bin/ltldo.cc: Use the parsed automaton as-is.
    * src/tests/degenid.test, src/tests/dstar.test, src/tests/ikwiad.cc:
    Adjust test cases.
    9b5340b9