• Alexandre Duret-Lutz's avatar
    python: improve kripke_graph bindings · eb02db85
    Alexandre Duret-Lutz authored
    Related to issue #376.
    
    * spot/kripke/kripkegraph.hh: Avoid indirect type definitions for the
    benefit of Swig.
    * python/spot/impl.i: Add bindings for iterators over kripke_graph
    states and edges.
    * tests/python/kripke.py: New file.
    * tests/Makefile.am: Add it.
    * NEWS: Update.
    eb02db85
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...