Skip to content
  • Alexandre Duret-Lutz's avatar
    gen: hide ks_cobuchi(), introduce aut_pattern() · 11ca2803
    Alexandre Duret-Lutz authored
    * spot/gen/automata.hh, spot/gen/automata.cc: Hide ks_cobuchi() behind
    introduce aut_pattern(), as we have already done for the formulas.
    * bin/genaut.cc: Simplify using this interface.
    * python/spot/gen.i: Introduce aut_patterns().
    * tests/python/gen.ipynb, tests/python/gen.py: Adjust.
    11ca2803