-
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.