• Alexandre Duret-Lutz's avatar
    gen: prefix ltl_pattern identifiers with LTL_ · ca7f72bb
    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