• Alexandre Duret-Lutz's avatar
    more documentation for twa_graph internals · 46590af6
    Alexandre Duret-Lutz authored
    * spot/graph/graph.hh, spot/twa/twagraph.hh, spot/twa/twagraph.cc:
    Implement a dump_storage_as_dot() method.
    * python/spot/__init__.py (twa_graph.show_storage): New method, above
    * tests/python/twagraph-internals.ipynb: New file, with documentation
    about the twa_graph internals, using show_storage() to illustrate
    * tests/Makefile.am, doc/org/tut.org: Add it.
    * python/spot/impl.i: Add bindings for out_iterasor, demonstrated in
    the Python notebook.
    * spot/twa/twa.hh: Add prop_reset().  Used in the notebook.
    * NEWS: Mention the new notebook and function.
    * doc/org/tut50.org: Link to the notebook.
    * tests/python/ipnbdoctest.py: Adjust for twa_graph_ptr being
    redefined in the spot namespace.
Makefile.am 12.2 KB