• Alexandre Duret-Lutz's avatar
    gen: pass the bdd_dict to aut_pattern() · 649793df
    Alexandre Duret-Lutz authored
    * spot/gen/automata.hh (aut_pattern): Add the dict argument.
    * spot/gen/automata.cc, python/spot/gen.i: Adjust.
    * tests/python/gen.py: Make sure two automata built without
    specifying any dictionary share the same one.
    649793df
gen.py 2.05 KB