• Alexandre Duret-Lutz's avatar
    lbtt: take options as a string like other print functions · 9f32021e
    Alexandre Duret-Lutz authored
    * src/twaalgos/lbtt.hh (print_lbtt): Take a const char* opt argument.
    * src/twaalgos/lbtt.cc: Use it, select state-based
    vs. transition-based using automaton property, and implement output
    for generalized state-based acceptance.
    * src/bin/common_aoutput.cc, src/bin/common_aoutput.hh,
    src/bin/dstar2tgba.cc: Adjust usage.  We do not need to handle
    --lbtt=t as a special case anymore.
    * src/tests/lbttparse.test, wrap/python/spot.py,
    wrap/python/tests/automata-io.ipynb, wrap/python/tests/piperead.ipynb:
    Adjust.
    9f32021e
lbttparse.test 4 KB