1.1 --- a/book/src/document.aux	Fri Mar 25 15:57:06 2011 +0100
     1.2 +++ b/book/src/document.aux	Sat Mar 26 01:46:39 2011 +0100
     1.3 @@ -154,8 +154,8 @@
     1.4  \newlabel{ATCCL EBNF Operatoren}{{5.8}{43}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}}
     1.5  \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{43}{lstlisting.5.8}}
     1.6  \@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29}}
     1.7 -\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{44}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}
     1.8 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{44}{lstlisting.5.9}}
     1.9 +\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{43}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}
    1.10 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{43}{lstlisting.5.9}}
    1.11  \newlabel{ATCCL EBNF Separationsregeln}{{5.10}{44}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}}
    1.12  \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{44}{lstlisting.5.10}}
    1.13  \newlabel{ATCCL EBNF Flow Point}{{5.11}{45}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}}
    1.14 @@ -165,27 +165,27 @@
    1.15  \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{45}{lstlisting.5.12}}
    1.16  \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{45}{subsection.5.1.2}}
    1.17  \@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{45}{section*.31}}
    1.18 -\@writefile{toc}{\contentsline {subsubsection}{Code}{46}{section*.32}}
    1.19 -\newlabel{ATCCL Einfaches Beispiel}{{5.13}{46}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}
    1.20 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{46}{lstlisting.5.13}}
    1.21 +\@writefile{toc}{\contentsline {subsubsection}{Code}{45}{section*.32}}
    1.22 +\newlabel{ATCCL Einfaches Beispiel}{{5.13}{45}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}
    1.23 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{45}{lstlisting.5.13}}
    1.24  \@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{46}{section*.33}}
    1.25  \@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{46}{section*.34}}
    1.26 -\@writefile{toc}{\contentsline {subsubsection}{Code}{47}{section*.35}}
    1.27 -\newlabel{ATCCL Komplexes Beispiel}{{5.14}{47}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}
    1.28 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{47}{lstlisting.5.14}}
    1.29 +\@writefile{toc}{\contentsline {subsubsection}{Code}{46}{section*.35}}
    1.30 +\newlabel{ATCCL Komplexes Beispiel}{{5.14}{46}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}
    1.31 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{46}{lstlisting.5.14}}
    1.32  \@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{47}{section*.36}}
    1.33  \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{47}{subsection.5.1.3}}
    1.34  \@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{48}{figure.5.1}}
    1.35  \newlabel{fig:compile_process}{{\relax 5.1}{48}{Der Übersetzungsprozess\relax }{figure.5.1}{}}
    1.36  \@writefile{toc}{\contentsline {subsubsection}{Scanner}{48}{section*.37}}
    1.37 +\@writefile{toc}{\contentsline {subsubsection}{Parser}{48}{section*.38}}
    1.38  \citation{design_patterns}
    1.39 -\@writefile{toc}{\contentsline {subsubsection}{Parser}{49}{section*.38}}
    1.40  \@writefile{toc}{\contentsline {subsubsection}{Synthese}{49}{section*.39}}
    1.41  \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4}}
    1.42 -\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{50}{section*.40}}
    1.43 -\newlabel{design:flight_plan}{{5.1.4}{50}{FlightPlan-Interface\relax }{section*.40}{}}
    1.44 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt  {VirtualMachine}}}{51}{figure.5.2}}
    1.45 -\newlabel{fig:virtual_machine_basic}{{\relax 5.2}{51}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}
    1.46 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt  {VirtualMachine}}}{50}{figure.5.2}}
    1.47 +\newlabel{fig:virtual_machine_basic}{{\relax 5.2}{50}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}
    1.48 +\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{51}{section*.40}}
    1.49 +\newlabel{design:flight_plan}{{5.1.4}{51}{FlightPlan-Interface\relax }{section*.40}{}}
    1.50  \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5}}
    1.51  \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{53}{subsection.5.1.6}}
    1.52  \newlabel{design:pattern_evaluation}{{5.1.6}{53}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}}
    1.53 @@ -198,16 +198,16 @@
    1.54  \newlabel{design:atot_calculation}{{5.1.7}{55}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}}
    1.55  \@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{56}{section*.42}}
    1.56  \@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{57}{algorithm.1}}
    1.57 +\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{57}{section*.43}}
    1.58  \@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{58}{algorithm.2}}
    1.59 -\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43}}
    1.60 -\@writefile{toc}{\contentsline {subsubsection}{Alternative}{59}{section*.44}}
    1.61 +\@writefile{toc}{\contentsline {subsubsection}{Alternative}{58}{section*.44}}
    1.62  \@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45}}
    1.63 +\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{59}{section.5.2}}
    1.64  \citation{design_patterns}
    1.65 -\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2}}
    1.66  \@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1}}
    1.67  \@writefile{toc}{\contentsline {subsubsection}{Map}{60}{section*.46}}
    1.68 -\@writefile{toc}{\contentsline {subsubsection}{Notify}{61}{section*.47}}
    1.69 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}}
    1.70 +\@writefile{toc}{\contentsline {subsubsection}{Notify}{60}{section*.47}}
    1.71 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{61}{subsection.5.2.2}}
    1.72  \citation{flugleiter_dman}
    1.73  \@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{63}{subsection.5.2.3}}
    1.74  \citation{iec_61508}