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

* doc/org/oaut.org (dot2tex): Acknowledge the 2.11 release.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2021-09-02 22:54:45 +02:00
parent 4855d3c877
commit dc17762e14
1 changed files with 5 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

17
doc/org/oaut.org
View file

@ -663,7 +663,7 @@ following figure:
#+END_SRC #+END_SRC
[[file:dot2tex.svg]] [[file:dot2tex.svg]]
Here an example with bullets denoting acceptance sets, and SCCs: Here is an example with bullets denoting acceptance sets, and SCCs:
#+BEGIN_SRC sh :exports code #+BEGIN_SRC sh :exports code
ltl2tgba -G -D '!a & FGa' --dot=sbarx | dot2tex --autosize --nominsize > out.tex ltl2tgba -G -D '!a & FGa' --dot=sbarx | dot2tex --autosize --nominsize > out.tex
@ -685,17 +685,10 @@ Caveats:
- =dot2tex= should be called with option =--autosize= in order to - =dot2tex= should be called with option =--autosize= in order to
compute the size of each label before calling GraphViz to layout the compute the size of each label before calling GraphViz to layout the
graph. This is because GraphViz cannot compute the correct size of graph. This is because GraphViz cannot compute the correct size of
mathematical formulas. Unfortunately, the release of =dot2tex mathematical formulas. Make sure you use =dot2tex= version 2.11 or
2.9.0= contains a bug where sizes are interpreted as integers instead later, as earlier releases had a bug where sizes were interpreted
of floats. This can cause labels or shapes to disappear. This bug as integers instead of floats, causing labels or shapes to
of =dot2tex= was fixed in 2014, but at the time of writing disappear.
(summer 2017) no new release of =dot2tex= has been made. To work around this,
make sure you install =dot2tex= from its git repository:
#+BEGIN_SRC sh :exports code
git clone https://github.com/kjellmf/dot2tex.git
cd dot2tex
sudo python setup.py install
#+END_SRC
- The default size of nodes seems slightly too big for our usage. - The default size of nodes seems slightly too big for our usage.
Using =--nominsize= is just one way around it. Refer to the Using =--nominsize= is just one way around it. Refer to the
[[https://dot2tex.readthedocs.io/en/latest/][=dot2tex= manual]] for finer ways to set the node size. [[https://dot2tex.readthedocs.io/en/latest/][=dot2tex= manual]] for finer ways to set the node size.