tut.org 885 Bytes
Newer Older
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#+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]]
19
- [[file:tut20.org][Converting a never claim into HOA]]
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
20
21
22
23
24
25
26

* 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]]