<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\chapter{Problem}

\blindtext
\todo[inline]{Write some more}

\begin{lstlisting}[language=AST,label={lst:example-ast},caption={Example AST}]
RailwayContainer ::= Route* Region*;
abstract RailwayElement ::= &lt;Id:int&gt;;
Region : RailwayElement ::= TrackElement* Sensor*;
Semaphore : RailwayElement ::= &lt;Signal:Signal&gt;;
Route : RailwayElement ::= &lt;Active:boolean&gt; SwitchPosition*;
SwitchPosition : RailwayElement ::= &lt;Position:Position&gt;;
Sensor : RailwayElement;
abstract TrackElement:RailwayElement;
Segment : TrackElement ::= &lt;Length:int&gt; Semaphore*;
Switch : TrackElement ::= &lt;CurrentPosition:Position&gt;;
\end{lstlisting}
%
\Cref{lst:example-ast} shows a grammar.

\lstinputlisting[language=JRAG,style=unboxed]{code/requiredSensor.jrag}
</pre></body></html>