• Alexandre Duret-Lutz's avatar
    python: better support for explicit Kripke · f26dd904
    Alexandre Duret-Lutz authored
    Part of issue #376, reported by Hashim Ali.
    
    * python/spot/impl.i: Add bindings for kripke_graph.
    * python/spot/__init__.py (automaton): Add a want_kripke option.
    * spot/kripke/kripkegraph.hh: Honnor the "state-names" property
    when displaying states.
    * spot/twaalgos/hoa.cc: Preserve names of Kripke states.
    * tests/python/ltsmin-dve.ipynb: Illustrate all the above.
    * NEWS: Mention those changes.
    * THANKS: Add Hashim.
    f26dd904
Name
Last commit
Last update
..
Makefile.am Loading commit data...
fairkripke.cc Loading commit data...
fairkripke.hh Loading commit data...
fwd.hh Loading commit data...
kripke.cc Loading commit data...
kripke.hh Loading commit data...
kripkegraph.hh Loading commit data...