4299517c8d
* doc/org/arch.tex: New file. * doc/Makefile.am: Compile it. * doc/org/concepts.org: Show it.
67 lines
2.6 KiB
TeX
67 lines
2.6 KiB
TeX
\documentclass[convert={size=640}]{standalone}
|
|
\usepackage{tikz}
|
|
\usetikzlibrary{arrows}
|
|
\usetikzlibrary{arrows.meta}
|
|
\usetikzlibrary{shadows}
|
|
\usetikzlibrary{positioning}
|
|
\usetikzlibrary{calc}
|
|
\usetikzlibrary{backgrounds}
|
|
|
|
\begin{document}
|
|
|
|
\begin{tikzpicture}
|
|
\tikzset{cppbox/.style={minimum width=#1,fill=orange!30, minimum height=1.5cm},
|
|
pybox/.style={minimum width=#1,fill=cyan!30, minimum height=1cm},
|
|
shbox/.style={minimum width=#1,fill=red!30, minimum height=8mm},
|
|
usedby/.style={->,ultra thick,>={Stealth[length=5mm,round]},gray!50!black}}
|
|
\node[cppbox=7.3cm] (libspot) {\texttt{libspot\strut}};
|
|
\node[cppbox=4.3cm,right=2mm]
|
|
(libltsmin) at (libspot.east) {\texttt{libspot-ltsmin\strut}};
|
|
\node[cppbox=8cm,below right,yshift=-2mm,minimum height=8mm] (buddy) at (libspot.south west) {\texttt{libbddx\strut}};
|
|
|
|
\node[pybox=4.3cm,above=2mm] (pyltsmin) at (libltsmin.north) {\texttt{import spot.ltsmin\strut}};
|
|
\node[pybox=3cm,left=2mm] (pyspot) at (pyltsmin.west) {\texttt{import spot\strut}};
|
|
\node[shbox=4.1cm,above left,xshift=-2mm,align=center] (shcmd) at (pyspot.south west) {
|
|
\texttt{randltl}\\
|
|
\texttt{genltl}\\
|
|
\texttt{ltlfilt}\\
|
|
\texttt{randaut}\\
|
|
\texttt{autfilt}\\
|
|
\texttt{ltl2tgba}\\
|
|
\texttt{ltl2tgta}\\
|
|
\texttt{dstar2tgba}\\
|
|
\texttt{ltlcross}\\
|
|
\texttt{ltlgrind}\\
|
|
\texttt{ltldo}
|
|
};
|
|
\node[shbox=1.9cm,below left,yshift=-2mm] (divine) at (libltsmin.south east) {\texttt{divine\strut}};
|
|
\node[shbox=1.5cm,left,xshift=-2mm] (spins) at (divine.west) {\texttt{SpinS\strut}};
|
|
\node[pybox=7.5cm,above right,yshift=2mm] (ipython) at (pyspot.north west) {IPython / Jupyter};
|
|
\draw[usedby] (buddy.north) -- ++(0,3mm);
|
|
\draw[usedby] (buddy.north) ++(3.7cm,0) -- ++(0,3mm);
|
|
\draw[usedby] (spins.north) -- ++(0,3mm);
|
|
\draw[usedby] (divine.north) -- ++(0,3mm);
|
|
\draw[usedby] (libspot.east) -- ++(3mm,0);
|
|
\draw[usedby] (pyspot.south) ++(0,-2mm) -- ++(0,3mm);
|
|
\draw[usedby] (pyltsmin.south) ++(0,-2mm) -- ++(0,3mm);
|
|
\draw[usedby] (shcmd.south) ++(0,-2mm) -- ++(0,3mm);
|
|
\draw[usedby] (pyspot.north) -- ++(0,3mm);
|
|
\draw[usedby] (pyltsmin.north) -- ++(0,3mm);
|
|
|
|
\begin{pgfonlayer}{background}
|
|
\path[fill=gray!15,draw=gray,rounded corners=1mm]
|
|
($(shcmd.north west)+(-1mm,1mm)$) --
|
|
($(shcmd.north east)+(1mm,1mm)$) --
|
|
($(pyspot.north west)+(-1mm,1mm)$) --
|
|
($(pyltsmin.north east)+(1mm,1mm)$) --
|
|
($(libltsmin.south east)+(1mm,-1mm)$) --
|
|
($(buddy.north east)+(1mm,1mm)$) --
|
|
($(buddy.south east)+(1mm,-1mm)$) --
|
|
($(buddy.south west)+(-1mm,-1mm)$) -- cycle;
|
|
\end{pgfonlayer}
|
|
\end{tikzpicture}
|
|
\end{document}
|
|
%%% Local Variables:
|
|
%%% mode: latex
|
|
%%% TeX-master: t
|
|
%%% End:
|