Skip to content
  • Alexandre Duret-Lutz's avatar
    python: add a spot.automata(filename) interface, yielding automata · 25de479e
    Alexandre Duret-Lutz authored
    * src/hoaparse/fmterror.cc, src/hoaparse/public.hh,
    src/hoaparse/hoaparse.yy (hoa_stream_parser::parse_strict): New method
    that raises an exception whenever a syntax error is encountered.
    * src/ltlparse/public.hh (parse_error): Move ...
    * src/misc/common.hh: ... here.
    * wrap/python/spot_impl.i: Wrap the hoa output.
    * wrap/python/spot.py: Implement spot.automata.
    * wrap/python/tests/automata-io.ipynb: New test.
    * wrap/python/tests/Makefile.am: Add it.
    25de479e