26 lines
885 B
Org Mode
26 lines
885 B
Org Mode
#+TITLE: Code Examples
|
|
#+SETUPFILE: setup.org
|
|
#+HTML_LINK_UP: index.html
|
|
|
|
|
|
This section contains code examples for using Spot. This is a work in
|
|
progress. Feel free to [[mailto:spot@lrde.epita.fr][send]] suggestion of small tasks you would like
|
|
to see illustrated here.
|
|
|
|
|
|
* Examples with Shell, Python, and C++
|
|
|
|
All the following pages show how to perform the same task using the
|
|
three interfaces supported by Spot: shell commands, Python, or C++.
|
|
|
|
- [[file:tut01.org][Parsing and Printing LTL Formulas]]
|
|
- [[file:tut02.org][Relabeling Formulas]]
|
|
- [[file:tut10.org][Translating an LTL formula into a never claim]]
|
|
- [[file:tut20.org][Converting a never claim into HOA]]
|
|
|
|
* Examples in C++ only
|
|
|
|
The following examples are too low-level to be implemented in shell or
|
|
Python (at least at the moment), so they are purely C++ so far.
|
|
|
|
- [[file:tut21.org][Custom print of an automaton]]
|