• Alexandre Duret-Lutz's avatar
    parseaut: Add a trust_hoa option. · 51a75a31
    Alexandre Duret-Lutz authored
    Fixes #114.
    
    * src/parseaut/public.hh: Add support for a trust_hoa option.
    * src/parseaut/parseaut.yy: If trust_hoa is set, recognize the
    "inherently-weak" and "stutter-invariant" properties.
    * src/bin/common_conv.cc, src/bin/common_conv.hh (read_automaton):
    Move...
    * src/bin/common_hoaread.cc, src/bin/common_hoaread.hh: ... in this
    new file, that also handle the --trust-hoa option.
    * src/bin/Makefile.am: Add them.
    * src/bin/autfilt.cc, src/bin/dstar2tgba.cc, src/bin/ltlcross.cc,
    src/bin/ltldo.cc: Use them.
    * src/tests/parseaut.test, src/tests/ltldo.test: Adjust, and test
    --trust-hoa=no.
    * src/tests/complement.test, src/tests/prodor.test,
    src/tests/sbacc.test: Adjust.
    * wrap/python/spot.py (automata): Add option trust_hoa.
    * NEWS: Update.
    51a75a31
common_hoaread.cc 2.52 KB