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

* doc/org/ltl2tgba.org: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-04-28 00:23:11 +02:00
parent fec939c1a6
commit ea3a66cace
1 changed files with 10 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

16
doc/org/ltl2tgba.org
View file

@ -646,7 +646,7 @@ $txt
[[file:monitor1.png]] [[file:monitor1.png]]
#+BEGIN_SRC sh :results verbatim :exports code #+BEGIN_SRC sh :results verbatim :exports code
ltl2tgba -M '(Xa & Fb) | Gc' ltl2tgba -MD '(Xa & Fb) | Gc'
#+END_SRC #+END_SRC
#+RESULTS: #+RESULTS:
#+begin_example #+begin_example
@ -654,16 +654,20 @@ digraph G {
0 [label="", style=invis, height=0] 0 [label="", style=invis, height=0]
0 -> 1 0 -> 1
1 [label="1", peripheries=2] 1 [label="1", peripheries=2]
1 -> 2 [label="1\n"] 1 -> 2 [label="c\n"]
1 -> 3 [label="c\n"] 1 -> 3 [label="!c\n"]
2 [label="2", peripheries=2] 2 [label="4", peripheries=2]
2 -> 4 [label="a\n"] 2 -> 4 [label="a\n"]
2 -> 5 [label="c & !a\n"]
3 [label="3", peripheries=2] 3 [label="3", peripheries=2]
3 -> 3 [label="c\n"] 3 -> 4 [label="a\n"]
4 [label="4", peripheries=2] 4 [label="2", peripheries=2]
4 -> 4 [label="1\n"] 4 -> 4 [label="1\n"]
5 [label="0", peripheries=2]
5 -> 5 [label="c\n"]
} }
#+end_example #+end_example
#+NAME: monitor2 #+NAME: monitor2
#+BEGIN_SRC sh :results verbatim :exports none #+BEGIN_SRC sh :results verbatim :exports none
ltl2tgba -MD '(Xa & Fb) | Gc' | sed 's/\\/\\\\/' ltl2tgba -MD '(Xa & Fb) | Gc' | sed 's/\\/\\\\/'