-
Alexandre Duret-Lutz authored
This helps with autocompletion in IPython, and it will prevent us from mixing LTL patterns with automata patterns (once we have more than one automata generator). * spot/gen/formulas.hh: Here. * spot/gen/formulas.cc, bin/genltl.cc, tests/python/gen.ipynb, tests/python/gen.py: Adjust.
ca7f72bb