/
w-fwgc-extended.tikz
29 lines (29 loc) · 1.67 KB
/
w-fwgc-extended.tikz
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
% To use this figure in your LaTeX document
% import the package groove/resources/groove2tikz.sty
%
% Special colors
\begin{tikzpicture}[
% Special color styles
scale=\tikzscale]
\node[node] (n1) at (2.575, -2.515) {\ml{bank}};
\node[node] (n0) at (1.345, -2.515) {\ml{bank}};
\node[node] (n3) at (2.595, -1.385) {\ml{farmer}};
\node[quantnode] (n6) at (2.525, -3.435) {\ml{$\forall$}};
\node[node] (n4) at (1.395, -1.735) {\ml{wolf}};
\node[node] (n5) at (1.465, -3.425){};
\path[edge, -](n0.east |- 2.575, -2.515) -- node[lab]{\textit{!=}} (n1) ;
\path[deledge] (n3) -- node[dellab]{at} (n0) ;
\path[newedge] (n4) .. controls (1.600, -1.410) and (1.530, -1.220) .. (1.530, -1.220).. controls (1.510, -1.160) and (1.210, -1.180) .. (1.200, -1.230).. controls (1.200, -1.230) and (1.140, -1.430) .. (n4) ;
\node[newlab] at (1.362, -1.225){moved};
\path[newedge](n3.south -| 2.575, -2.515) -- (n1) ;
\node[newlab] at (2.585, -1.960){at};
\path[quantedge](n5.east |- 2.525, -3.435) -- node[lab]{@} (n6) ;
\path[newedge] (n3) .. controls (2.800, -1.110) and (2.750, -0.940) .. (2.750, -0.940).. controls (2.730, -0.880) and (2.450, -0.880) .. (2.440, -0.930).. controls (2.440, -0.930) and (2.370, -1.100) .. (n3) ;
\node[newlab] at (2.592, -0.935){moved};
\path[deledge] (n5) .. controls (1.730, -3.140) and (1.690, -2.930) .. (1.690, -2.930).. controls (1.680, -2.880) and (1.380, -2.840) .. (1.360, -2.900).. controls (1.360, -2.900) and (1.260, -3.090) .. (n5) ;
\node[dellab] at (1.531, -2.916){moved};
\path[newedge] (n4) -- node[newlab]{at} (n1) ;
\path[deledge](n4.south -| 1.345, -2.515) -- node[dellab]{at} (n0) ;
\userdefinedmacro
\end{tikzpicture}
\renewcommand{\userdefinedmacro}{\relax}