alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: add explicit Kripke structure example

Browse source 
Fixes #376.

* doc/org/tut52.org: New file.
* doc/org/tut.org, doc/org/tut51.org: Link to it.
* doc/Makefile.am: Add it.
This commit is contained in:
Alexandre Duret-Lutz 2019-02-25 15:35:42 +01:00
parent 8f7a0c2f7a
commit 25133cac28
4 changed files with 319 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/org/tut.org
View file

@ -36,6 +36,7 @@ three interfaces supported by Spot: shell commands, Python, or C++.
- [[file:tut22.org][Creating an automaton by adding states and transitions]]
- [[file:tut23.org][Creating an alternating automaton by adding states and transitions]]
- [[file:tut24.org][Iterating over alternating automata]]
- [[file:tut52.org][Creating an explicit Kripke structure]]
* Examples in C++ only