• Alexandre Duret-Lutz's avatar
    parseaut: preliminary support for reading alternating automata · e6203686
    Alexandre Duret-Lutz authored
    Currently this only reads universal branches.  The parser (and the
    automaton code) do not support universal initial states.
    
    * spot/parseaut/parseaut.yy: Read universal branches.  Deal with
    the no-univ-branch/!univ-branch change in HOA 1.1.
    * tests/python/alternating.py: Read the output of print_hoa.
    * tests/core/parseaut.test: Adjust test output, and add more tests.
    e6203686
parseaut.yy 59.8 KB