Skip to content
Snippets Groups Projects
Commit c2a19bb0 authored by Johannes Mey's avatar Johannes Mey
Browse files

cleanup of trainbenchmark sources

parent fe0ea34c
No related branches found
No related tags found
No related merge requests found
Expand all Show whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1027 deletions
trainbenchmark/visualization/query-plans/SemaphoreNeighborB-ReteExpression.tex deleted 100644 → 0
+ 0
− 1
View file @ fe0ea34c
\selection{\var{route1} \neq \var{route2}} \Big(\getedges{te1}{TrackElement}{te2}{TrackElement}{ct}{connectsTo} \join \getedges{te1}{TrackElement}{sensor1}{Sensor}{mb1}{monitoredBy} \join \getedges{route1}{Route}{sensor1}{Sensor}{g1}{requires} \join \getedges{te2}{TrackElement}{sensor2}{Sensor}{mb2}{monitoredBy} \join \getedges{route2}{Route}{sensor2}{Sensor}{g2}{requires}\Big) \join \getedges{route1}{Route}{semaphore}{Semaphore}{exit}{exit} \antijoin \getedges{route2}{Route}{semaphore}{Semaphore}{entry}{entry}
trainbenchmark/visualization/query-plans/SemaphoreNeighborC-Relalg.tex deleted 100644 → 0
+ 0
− 118
View file @ fe0ea34c
\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{te1, te2, sensor1, sensor2, route1, semaphore, route2} \rangle$
}
[
{$\selection{\var{route1} \neq \var{route2}}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, sensor1, sensor2, route1, semaphore, route2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, sensor1, sensor2, route1, semaphore, route2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, sensor1, sensor2, route1, semaphore} \rangle$
}
[
{$\expandout{te2}{sensor2}{Sensor}{mb2}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, sensor1, sensor2} \rangle$
}
[
{$\expandout{te1}{sensor1}{Sensor}{mb1}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, sensor1} \rangle$
}
[
{$\expandout{te1}{te2}{TrackElement}{ct}{connectsTo}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2} \rangle$
}
[
{$\getvertices{te1}{TrackElement}$
\\
\footnotesize
$\color{gray} \langle \var{te1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
]
[
{$\expandout{route1}{semaphore}{Semaphore}{exit}{exit}$
\\
\footnotesize
$\color{gray} \langle \var{route1, sensor1, semaphore} \rangle$
}
[
{$\expandout{route1}{sensor1}{Sensor}{g1}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route1, sensor1} \rangle$
}
[
{$\getvertices{route1}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
]
[
{$\expandout{route2}{sensor2}{Sensor}{g2}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route2, sensor2} \rangle$
}
[
{$\getvertices{route2}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
]
[
{$\expandout{route2}{semaphore}{Semaphore}{entry}{entry}$
\\
\footnotesize
$\color{gray} \langle \var{route2, semaphore} \rangle$
}
[
{$\getvertices{route2}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
;
\end{forest}
\end{preview}
\end{document}
trainbenchmark/visualization/query-plans/SemaphoreNeighborC-Rete.tex deleted 100644 → 0
+ 0
− 111
View file @ fe0ea34c
\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{te1, te2, sensor1, sensor2, route1, semaphore, route2} \rangle$
}
[
{$\selection{\var{route1} \neq \var{route2}}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, sensor1, sensor2, route1, semaphore, route2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, sensor1, sensor2, route1, semaphore, route2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, sensor1, sensor2, route1, semaphore} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, sensor1, sensor2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, sensor1} \rangle$
}
[
{$\getedgesi{te1}{TrackElement}{te2}{TrackElement}$\\$\getedgesii{ct}{connectsTo}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
[
{$\getedgesi{te1}{TrackElement}{sensor1}{Sensor}$\\$\getedgesii{mb1}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{te2}{TrackElement}{sensor2}{Sensor}$\\$\getedgesii{mb2}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te2, sensor2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, sensor1, semaphore} \rangle$
}
[
{$\getedgesi{route1}{Route}{sensor1}{Sensor}$\\$\getedgesii{g1}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route1, sensor1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
[
{$\getedgesi{route1}{Route}{semaphore}{Semaphore}$\\$\getedgesii{exit}{exit}$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\getedgesi{route2}{Route}{sensor2}{Sensor}$\\$\getedgesii{g2}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route2, sensor2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\getedgesi{route2}{Route}{semaphore}{Semaphore}$\\$\getedgesii{entry}{entry}$
\\
\footnotesize
$\color{gray} \langle \var{route2, semaphore} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
;
\end{forest}
\end{preview}
\end{document}
trainbenchmark/visualization/query-plans/SemaphoreNeighborC-ReteExpression.tex deleted 100644 → 0
+ 0
− 1
View file @ fe0ea34c
\selection{\var{route1} \neq \var{route2}} \Big(\getedges{te1}{TrackElement}{te2}{TrackElement}{ct}{connectsTo} \join \getedges{te1}{TrackElement}{sensor1}{Sensor}{mb1}{monitoredBy} \join \getedges{te2}{TrackElement}{sensor2}{Sensor}{mb2}{monitoredBy} \join \getedges{route1}{Route}{sensor1}{Sensor}{g1}{requires} \join \getedges{route1}{Route}{semaphore}{Semaphore}{exit}{exit} \join \getedges{route2}{Route}{sensor2}{Sensor}{g2}{requires}\Big) \antijoin \getedges{route2}{Route}{semaphore}{Semaphore}{entry}{entry}
trainbenchmark/visualization/query-plans/SemaphoreNeighborD-Relalg.tex deleted 100644 → 0
+ 0
− 132
View file @ fe0ea34c
\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{te1, te2, route1, semaphore, sensor1, sensor2, route2} \rangle$
}
[
{$\selection{\var{route1} \neq \var{route2}}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, route1, semaphore, sensor1, sensor2, route2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, route1, semaphore, sensor1, sensor2, route2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, route1, semaphore, sensor1, sensor2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, route1, semaphore, sensor1} \rangle$
}
[
{$\expandout{te1}{te2}{TrackElement}{ct}{connectsTo}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2} \rangle$
}
[
{$\getvertices{te1}{TrackElement}$
\\
\footnotesize
$\color{gray} \langle \var{te1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\expandin{sensor1}{te1}{TrackElement}{mb1}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, sensor1, te1} \rangle$
}
[
{$\expandout{route1}{sensor1}{Sensor}{g1}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, sensor1} \rangle$
}
[
{$\expandout{route1}{semaphore}{Semaphore}{exit}{exit}$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore} \rangle$
}
[
{$\getvertices{route1}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
]
]
[
{$\expandout{te2}{sensor2}{Sensor}{mb2}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te2, sensor2} \rangle$
}
[
{$\getvertices{te2}{TrackElement}$
\\
\footnotesize
$\color{gray} \langle \var{te2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\expandout{route2}{sensor2}{Sensor}{g2}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route2, sensor2} \rangle$
}
[
{$\getvertices{route2}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
]
[
{$\expandout{route2}{semaphore}{Semaphore}{entry}{entry}$
\\
\footnotesize
$\color{gray} \langle \var{route2, semaphore} \rangle$
}
[
{$\getvertices{route2}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
;
\end{forest}
\end{preview}
\end{document}
trainbenchmark/visualization/query-plans/SemaphoreNeighborD-Rete.tex deleted 100644 → 0
+ 0
− 111
View file @ fe0ea34c
\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{te1, te2, route1, semaphore, sensor1, sensor2, route2} \rangle$
}
[
{$\selection{\var{route1} \neq \var{route2}}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, route1, semaphore, sensor1, sensor2, route2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, route1, semaphore, sensor1, sensor2, route2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, route1, semaphore, sensor1, sensor2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2, route1, semaphore, sensor1} \rangle$
}
[
{$\getedgesi{te1}{TrackElement}{te2}{TrackElement}$\\$\getedgesii{ct}{connectsTo}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, sensor1, te1} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, sensor1} \rangle$
}
[
{$\getedgesi{route1}{Route}{semaphore}{Semaphore}$\\$\getedgesii{exit}{exit}$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore} \rangle$
},tier=input,for tree={blue,densely dashed}
]
[
{$\getedgesi{route1}{Route}{sensor1}{Sensor}$\\$\getedgesii{g1}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route1, sensor1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{te1}{TrackElement}{sensor1}{Sensor}$\\$\getedgesii{mb1}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\getedgesi{te2}{TrackElement}{sensor2}{Sensor}$\\$\getedgesii{mb2}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te2, sensor2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{route2}{Route}{sensor2}{Sensor}$\\$\getedgesii{g2}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route2, sensor2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\getedgesi{route2}{Route}{semaphore}{Semaphore}$\\$\getedgesii{entry}{entry}$
\\
\footnotesize
$\color{gray} \langle \var{route2, semaphore} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
;
\end{forest}
\end{preview}
\end{document}
trainbenchmark/visualization/query-plans/SemaphoreNeighborD-ReteExpression.tex deleted 100644 → 0
+ 0
− 1
View file @ fe0ea34c
\selection{\var{route1} \neq \var{route2}} \Big(\getedges{te1}{TrackElement}{te2}{TrackElement}{ct}{connectsTo} \join \getedges{route1}{Route}{semaphore}{Semaphore}{exit}{exit} \join \getedges{route1}{Route}{sensor1}{Sensor}{g1}{requires} \join \getedges{te1}{TrackElement}{sensor1}{Sensor}{mb1}{monitoredBy} \join \getedges{te2}{TrackElement}{sensor2}{Sensor}{mb2}{monitoredBy} \join \getedges{route2}{Route}{sensor2}{Sensor}{g2}{requires}\Big) \antijoin \getedges{route2}{Route}{semaphore}{Semaphore}{entry}{entry}
trainbenchmark/visualization/query-plans/SemaphoreNeighborE-Relalg.tex deleted 100644 → 0
+ 0
− 160
View file @ fe0ea34c
\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}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2, sensor1, te1, te2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2, sensor1, te1, te2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2, sensor1, te1} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2, sensor1} \rangle$
}
[
{$\antijoin$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2} \rangle$
}
[
{$\selection{\var{route1} \neq \var{route2}}$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2} \rangle$
}
[
{$\expandout{route1}{semaphore}{Semaphore}{exit}{exit}$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore} \rangle$
}
[
{$\getvertices{route1}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\expandout{route2}{sensor2}{Sensor}{g2}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route2, sensor2} \rangle$
}
[
{$\getvertices{route2}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
]
[
{$\expandout{route2}{semaphore}{Semaphore}{entry}{entry}$
\\
\footnotesize
$\color{gray} \langle \var{route2, semaphore} \rangle$
}
[
{$\getvertices{route2}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\expandout{route1}{sensor1}{Sensor}{g1}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route1, sensor1} \rangle$
}
[
{$\getvertices{route1}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\expandout{te1}{sensor1}{Sensor}{mb1}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1} \rangle$
}
[
{$\getvertices{te1}{TrackElement}$
\\
\footnotesize
$\color{gray} \langle \var{te1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\expandout{te1}{te2}{TrackElement}{ct}{connectsTo}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2} \rangle$
}
[
{$\getvertices{te1}{TrackElement}$
\\
\footnotesize
$\color{gray} \langle \var{te1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\expandout{te2}{sensor2}{Sensor}{mb2}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{route2, sensor2} \rangle$
}
[
{$\getvertices{route2}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
;
\end{forest}
\end{preview}
\end{document}
trainbenchmark/visualization/query-plans/SemaphoreNeighborE-Rete.tex deleted 100644 → 0
+ 0
− 111
View file @ fe0ea34c
\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}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2, sensor1, te1, te2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2, sensor1, te1, te2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2, sensor1, te1} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2, sensor1} \rangle$
}
[
{$\antijoin$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2} \rangle$
}
[
{$\selection{\var{route1} \neq \var{route2}}$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore, route2, sensor2} \rangle$
}
[
{$\getedgesi{route1}{Route}{semaphore}{Semaphore}$\\$\getedgesii{exit}{exit}$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore} \rangle$
},tier=input,for tree={blue,densely dashed}
]
[
{$\getedgesi{route2}{Route}{sensor2}{Sensor}$\\$\getedgesii{g2}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route2, sensor2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\getedgesi{route2}{Route}{semaphore}{Semaphore}$\\$\getedgesii{entry}{entry}$
\\
\footnotesize
$\color{gray} \langle \var{route2, semaphore} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{route1}{Route}{sensor1}{Sensor}$\\$\getedgesii{g1}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route1, sensor1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{te1}{TrackElement}{sensor1}{Sensor}$\\$\getedgesii{mb1}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{te1}{TrackElement}{te2}{TrackElement}$\\$\getedgesii{ct}{connectsTo}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{te2}{TrackElement}{sensor2}{Sensor}$\\$\getedgesii{mb2}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te2, sensor2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
;
\end{forest}
\end{preview}
\end{document}
trainbenchmark/visualization/query-plans/SemaphoreNeighborE-ReteExpression.tex deleted 100644 → 0
+ 0
− 1
View file @ fe0ea34c
\selection{\var{route1} \neq \var{route2}} \Big(\getedges{route1}{Route}{semaphore}{Semaphore}{exit}{exit} \join \getedges{route2}{Route}{sensor2}{Sensor}{g2}{requires}\Big) \antijoin \getedges{route2}{Route}{semaphore}{Semaphore}{entry}{entry} \join \getedges{route1}{Route}{sensor1}{Sensor}{g1}{requires} \join \getedges{te1}{TrackElement}{sensor1}{Sensor}{mb1}{monitoredBy} \join \getedges{te1}{TrackElement}{te2}{TrackElement}{ct}{connectsTo} \join \getedges{te2}{TrackElement}{sensor2}{Sensor}{mb2}{monitoredBy}
trainbenchmark/visualization/query-plans/SemaphoreNeighborF-Relalg.tex deleted 100644 → 0
+ 0
− 118
View file @ fe0ea34c
\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{te1, sensor1, te2, sensor2, route1, route2, semaphore} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2, route1, route2, semaphore} \rangle$
}
[
{$\expandout{route1}{semaphore}{Semaphore}{exit}{exit}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2, route1, route2, semaphore} \rangle$
}
[
{$\selection{\var{route1} \neq \var{route2}}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2, route1, route2} \rangle$
}
[
{$\expandin{sensor2}{route2}{Route}{g2}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2, route1, route2} \rangle$
}
[
{$\expandin{sensor1}{route1}{Route}{g1}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2, route1} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2} \rangle$
}
[
{$\expandout{te1}{sensor1}{Sensor}{mb1}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1} \rangle$
}
[
{$\getvertices{te1}{TrackElement}$
\\
\footnotesize
$\color{gray} \langle \var{te1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\expandout{te2}{sensor2}{Sensor}{mb2}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te2, sensor2} \rangle$
}
[
{$\getvertices{te2}{TrackElement}$
\\
\footnotesize
$\color{gray} \langle \var{te2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
]
]
]
]
[
{$\expandout{te1}{te2}{TrackElement}{ct}{connectsTo}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2} \rangle$
}
[
{$\getvertices{te1}{TrackElement}$
\\
\footnotesize
$\color{gray} \langle \var{te1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\expandout{route2}{semaphore}{Semaphore}{entry}{entry}$
\\
\footnotesize
$\color{gray} \langle \var{route2, semaphore} \rangle$
}
[
{$\getvertices{route2}{Route}$
\\
\footnotesize
$\color{gray} \langle \var{route2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
;
\end{forest}
\end{preview}
\end{document}
trainbenchmark/visualization/query-plans/SemaphoreNeighborF-Rete.tex deleted 100644 → 0
+ 0
− 111
View file @ fe0ea34c
\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{te1, sensor1, te2, sensor2, route1, route2, semaphore} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2, route1, route2, semaphore} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2, route1, route2, semaphore} \rangle$
}
[
{$\selection{\var{route1} \neq \var{route2}}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2, route1, route2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2, route1, route2} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2, route1} \rangle$
}
[
{$\join$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1, te2, sensor2} \rangle$
}
[
{$\getedgesi{te1}{TrackElement}{sensor1}{Sensor}$\\$\getedgesii{mb1}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te1, sensor1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
[
{$\getedgesi{te2}{TrackElement}{sensor2}{Sensor}$\\$\getedgesii{mb2}{monitoredBy}$
\\
\footnotesize
$\color{gray} \langle \var{te2, sensor2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{route1}{Route}{sensor1}{Sensor}$\\$\getedgesii{g1}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route1, sensor1} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{route2}{Route}{sensor2}{Sensor}$\\$\getedgesii{g2}{requires}$
\\
\footnotesize
$\color{gray} \langle \var{route2, sensor2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
]
[
{$\getedgesi{route1}{Route}{semaphore}{Semaphore}$\\$\getedgesii{exit}{exit}$
\\
\footnotesize
$\color{gray} \langle \var{route1, semaphore} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{te1}{TrackElement}{te2}{TrackElement}$\\$\getedgesii{ct}{connectsTo}$
\\
\footnotesize
$\color{gray} \langle \var{te1, te2} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
[
{$\getedgesi{route2}{Route}{semaphore}{Semaphore}$\\$\getedgesii{entry}{entry}$
\\
\footnotesize
$\color{gray} \langle \var{route2, semaphore} \rangle$
},tier=input,for tree={blue,densely dashed}
]
]
;
\end{forest}
\end{preview}
\end{document}
trainbenchmark/visualization/query-plans/SemaphoreNeighborF-ReteExpression.tex deleted 100644 → 0
+ 0
− 1
View file @ fe0ea34c
\selection{\var{route1} \neq \var{route2}} \Big(\getedges{te1}{TrackElement}{sensor1}{Sensor}{mb1}{monitoredBy} \join \getedges{te2}{TrackElement}{sensor2}{Sensor}{mb2}{monitoredBy} \join \getedges{route1}{Route}{sensor1}{Sensor}{g1}{requires} \join \getedges{route2}{Route}{sensor2}{Sensor}{g2}{requires}\Big) \join \getedges{route1}{Route}{semaphore}{Semaphore}{exit}{exit} \join \getedges{te1}{TrackElement}{te2}{TrackElement}{ct}{connectsTo} \antijoin \getedges{route2}{Route}{semaphore}{Semaphore}{entry}{entry}
trainbenchmark/visualization/query-plans/bootstrap.min.css deleted 100644 → 0
+ 0
− 6
View file @ fe0ea34c
This diff is collapsed.
trainbenchmark/visualization/query-plans/convert.sh deleted 100755 → 0
+ 0
− 30
View file @ fe0ea34c
#!/bin/bash
cd "$( cd "$( dirname "$0" )" && pwd )"
cat template-header.html > visualization.html
echo > body.html
echo "<ul>" >> visualization.html
for doc in *.tex; do
filename="${doc%.*}"
texfile="$filename.tex"
pdffile="$filename.pdf"
# only recompile files where the tex source is newer than the generated pdf
if [ $texfile -nt $pdffile ]; then
echo Compiling $texfile
pdflatex -shell-escape -interaction=batchmode $filename.tex 1>/dev/null
fi
# toc
echo " <li><a href='#$filename'>$filename</a></li>" >> visualization.html
# content
echo " <h1 id='$filename'><a href='#$filename'>$filename</a></h1>" >> body.html
echo " <img src='$filename.png' />" >> body.html
done
echo "</ul>" >> visualization.html
cat body.html >> visualization.html
cat template-footer.html >> visualization.html
trainbenchmark/visualization/query-plans/template-footer.html deleted 100644 → 0
+ 0
− 3
View file @ fe0ea34c
</div>
</body>
</html>
trainbenchmark/visualization/query-plans/template-header.html deleted 100644 → 0
+ 0
− 11
View file @ fe0ea34c
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>ingraph visualization</title>
<link href="bootstrap.min.css" rel="stylesheet">
</head>
<body>
<div class="container">
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment