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

org: add utf-8 markers

Browse source 
* doc/org/index.org, doc/org/ltl2tgta.org, doc/org/randltl.org,
doc/org/satmin.org, doc/org/tut.org, doc/org/tut01.org,
doc/org/tut02.org, doc/org/tut10.org, doc/org/tut20.org,
doc/org/tut21.org, doc/org/tut22.org: Here.
This commit is contained in:
Alexandre Duret-Lutz 2015-06-14 23:40:34 +02:00
parent 200fcbfe49
commit 3e853eedeb
11 changed files with 12 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/org/index.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: Spot #+TITLE: Spot
#+SETUPFILE: setup.org #+SETUPFILE: setup.org

1
doc/org/ltl2tgta.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: =ltl2tgta= #+TITLE: =ltl2tgta=
#+SETUPFILE: setup.org #+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html #+HTML_LINK_UP: tools.html

1
doc/org/randltl.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: =randltl= #+TITLE: =randltl=
#+SETUPFILE: setup.org #+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html #+HTML_LINK_UP: tools.html

1
doc/org/satmin.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: SAT-based Minimization of Deterministic ω-Automata #+TITLE: SAT-based Minimization of Deterministic ω-Automata
#+SETUPFILE: setup.org #+SETUPFILE: setup.org
#+HTML_LINK_UP: tools.html #+HTML_LINK_UP: tools.html

1
doc/org/tut.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: Code Examples #+TITLE: Code Examples
#+SETUPFILE: setup.org #+SETUPFILE: setup.org
#+HTML_LINK_UP: index.html #+HTML_LINK_UP: index.html

1
doc/org/tut01.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: Parsing and Printing LTL Formulas #+TITLE: Parsing and Printing LTL Formulas
#+SETUPFILE: setup.org #+SETUPFILE: setup.org
#+HTML_LINK_UP: tut.html #+HTML_LINK_UP: tut.html

3
doc/org/tut02.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: Relabeling Formulas #+TITLE: Relabeling Formulas
#+SETUPFILE: setup.org #+SETUPFILE: setup.org
#+HTML_LINK_UP: tut.html #+HTML_LINK_UP: tut.html
@ -20,7 +21,7 @@ ltlfilt -ps --relabel=pnn --define -f '"Proc@Here" U ("var > 10" | "var < 4")'
: (p0) U ((p1) || (p2)) : (p0) U ((p1) || (p2))
When is this output interesting, you may ask? It is useful for When is this output interesting, you may ask? It is useful for
instance if you want to call =ltl2ba= (or any other LTL-to-Büchi instance if you want to call =ltl2ba= (or any other LTL-to-Büchi
translator) using a formula with complex atomic propositions it cannot translator) using a formula with complex atomic propositions it cannot
parse. Then you can pass the rewritten formula to =ltl2ba=, and parse. Then you can pass the rewritten formula to =ltl2ba=, and
prepend all those =#define= to its output. For instance: prepend all those =#define= to its output. For instance:

1
doc/org/tut10.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: Translating an LTL formula into a never claim #+TITLE: Translating an LTL formula into a never claim
#+SETUPFILE: setup.org #+SETUPFILE: setup.org
#+HTML_LINK_UP: tut.html #+HTML_LINK_UP: tut.html

1
doc/org/tut20.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: Converting a never claim into HOA #+TITLE: Converting a never claim into HOA
#+SETUPFILE: setup.org #+SETUPFILE: setup.org
#+HTML_LINK_UP: tut.html #+HTML_LINK_UP: tut.html

1
doc/org/tut21.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: Custom print of an automaton #+TITLE: Custom print of an automaton
#+SETUPFILE: setup.org #+SETUPFILE: setup.org
#+HTML_LINK_UP: tut.html #+HTML_LINK_UP: tut.html

1
doc/org/tut22.org
View file

@ -1,3 +1,4 @@
# -*- coding: utf-8 -*-
#+TITLE: Creating an automaton in C++ #+TITLE: Creating an automaton in C++
#+SETUPFILE: setup.org #+SETUPFILE: setup.org
#+HTML_LINK_UP: tut.html #+HTML_LINK_UP: tut.html