• Alexandre Duret-Lutz's avatar
    add support for the weak property · 65488871
    Alexandre Duret-Lutz authored
    This fixes #119.
    
    * doc/org/tut21.org, doc/org/hoa.org, NEWS: Document it.
    * src/twa/twa.hh: Support it in automata.
    * src/twaalgos/hoa.cc, src/parseaut/parseaut.yy: Add I/O support.
    * src/twaalgos/minimize.cc, src/twaalgos/totgba.cc: Set weak
    automata on output.
    * src/tests/complement.test, src/tests/parseaut.test,
    src/tests/readsave.test, src/tests/remfin.test, src/tests/sccsimpl.test,
    src/tests/wdba2.test, wrap/python/tests/automata-io.ipynb: Adjust.
    65488871
totgba.cc 9.93 KB