Skip to content
  • Alexandre Duret-Lutz's avatar
    python: improve kripke_graph bindings · 8f7a0c2f
    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.
    8f7a0c2f
To find the state of this project's repository at the time of any of these versions, check out the tags.