• Alexandre Duret-Lutz's avatar
    twa: add support for very-weak property · 582d455c
    Alexandre Duret-Lutz authored
    * spot/twa/twa.hh: Implement the property.
    * spot/parseaut/parseaut.yy, spot/twaalgos/hoa.cc: Add input
    and output for it.
    * spot/twaalgos/strength.cc,
    spot/twaalgos/strength.hh (is_very_weak_automaton): New function.
    * tests/core/alternating.test: Add a test for --check=strength
    on an alternating automaton.
    * tests/core/strength.test, tests/core/parseaut.test: Adjust expected
    output.
    * NEWS, doc/org/hoa.org, doc/org/concepts.org: Document it.
    582d455c
concepts.org 41.3 KB