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

* doc/org/satmin.org: Missing name on dot output.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-05-21 10:49:05 +02:00
parent e04b4eb9fb
commit ef7f96a545
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
doc/org/satmin.org
View file

@ -100,14 +100,15 @@ We can draw it:
#+BEGIN_SRC sh :results verbatim :exports code #+BEGIN_SRC sh :results verbatim :exports code
ltl2tgba -D -x sat-minimize "GF(a <-> XXb)" ltl2tgba -D -x sat-minimize "GF(a <-> XXb)"
#+END_SRC #+END_SRC
#+RESULTS: #+RESULTS: gfaexxb3
#+begin_example #+begin_example
digraph G { digraph G {
rankdir=LR rankdir=LR
node [shape="circle"]
fontname="Lato" fontname="Lato"
node [fontname="Lato"] node [fontname="Lato"]
edge [fontname="Lato"] edge [fontname="Lato"]
node[style=filled, fillcolor="#ffffa0"] node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
I [label="", style=invis, width=0] I [label="", style=invis, width=0]
I -> 0 I -> 0
0 [label="0"] 0 [label="0"]