Skip to content
  • Alexandre Duret-Lutz's avatar
    gen: rename genltl() to ltl_pattern() and introduce ltl_patterns() · 540b9713
    Alexandre Duret-Lutz authored
    * spot/gen/formulas.hh, spot/gen/formulas.cc (genltl): Rename as...
    (ltl_pattern): This.
    (ltl_pattern_max): New function.
    * bin/genltl.cc: Adjust names, and simplify using ltl_pattern_max().
    * python/spot/gen.i (ltl_patterns): New function.
    * tests/python/gen.py: Test it.
    * tests/python/gen.ipynb: New file to document the spot.gen package.
    * tests/Makefile.am, doc/org/tut.org: Add gen.ipynb.
    540b9713