RouteSensorA-Relalg.tex

\documentclass[varwidth=100cm,convert={density=120}]{standalone}
\usepackage[active,tightpage]{preview}

\input{../../../ingraph/visualization/inputs/relalg-packages}
\input{../../../ingraph/visualization/inputs/relalg-commands}

\begin{document}
\begin{preview}
\begin{forest} for tree={align=center}
[
	{$\antijoin$
			\\
			\footnotesize
			$\color{gray} \langle \var{route, swP, sw, sensor} \rangle$
			}
[
	{$\expandout{sw}{sensor}{Sensor}{\_e2}{monitoredBy}$
			\\
			\footnotesize
			$\color{gray} \langle \var{route, swP, sw, sensor} \rangle$
			}
[
	{$\expandout{swP}{sw}{Switch}{\_e1}{target}$
			\\
			\footnotesize
			$\color{gray} \langle \var{route, swP, sw} \rangle$
			}
[
	{$\expandout{route}{swP}{SwitchPosition}{\_e3}{follows}$
			\\
			\footnotesize
			$\color{gray} \langle \var{route, swP} \rangle$
			}
[
	{$\getvertices{route}{Route}$
			\\
			\footnotesize
			$\color{gray} \langle \var{route} \rangle$
			},tier=input,for tree={blue,densely dashed}
]
]
]
]
[
	{$\expandout{route}{sensor}{Sensor}{\_e4}{requires}$
			\\
			\footnotesize
			$\color{gray} \langle \var{route, sensor} \rangle$
			}
[
	{$\getvertices{route}{Route}$
			\\
			\footnotesize
			$\color{gray} \langle \var{route} \rangle$
			},tier=input,for tree={blue,densely dashed}
]
]
]
;
\end{forest}
\end{preview}
\end{document}