Skip to content
  • 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/ Use it, select state-based
    vs. transition-based using automaton property, and implement output
    for generalized state-based acceptance.
    * src/bin/, src/bin/common_aoutput.hh,
    src/bin/ Adjust usage.  We do not need to handle
    --lbtt=t as a special case anymore.
    * src/tests/lbttparse.test, wrap/python/,
    wrap/python/tests/automata-io.ipynb, wrap/python/tests/piperead.ipynb: