1.1 --- a/doc-isac/mlehnfeld/bacc/projektbericht.tex	Thu Jan 26 19:02:41 2023 +0100
     1.2 +++ b/doc-isac/mlehnfeld/bacc/projektbericht.tex	Sat Jan 28 13:21:39 2023 +0100
     1.3 @@ -123,8 +123,8 @@
     1.4  {\tt
     1.5  \begin{tabbing}
     1.6  xx\=xx\=xx\=xx\=xx\=\kill
     1.7 -fun parseNEW ctxt str = \\
     1.8 -\>\>\>SOME ({Syntax.read\_term ctxt} str |> numbers\_to\_string)\\
     1.9 +fun parse ctxt str = \\
    1.10 +\>\>\>({Syntax.read\_term ctxt} str |> numbers\_to\_string)\\
    1.11  \>\>\>handle \_ => NONE;
    1.12        \end{tabbing}
    1.13  }
    1.14 @@ -243,8 +243,8 @@
    1.15  \textit{CalcTreeTEST} erzeugt schlie\3lich die grundlegenden Datenstrukturen für die folgenden Berechnungen. Beispielsweise wird ein ``context'' erzeugt, der nun im Baum \textit{pt} an der Position \textit{p} steht.
    1.16  \begin{verbatim}
    1.17  val ctxt = get_ctxt pt p;
    1.18 -val SOME known_x = parseNEW ctxt "x + y + z";
    1.19 -val SOME unknown = parseNEW ctxt "a + b + c";
    1.20 +val known_x = parse ctxt "x + y + z";
    1.21 +val unknown = parse ctxt "a + b + c";
    1.22  \end{verbatim}
    1.23  Dies erzeugt folgenden Output:
    1.24  \begin{verbatim}
    1.25 @@ -394,8 +394,8 @@
    1.26  
    1.27  ML {*
    1.28    val ctxt = get_ctxt pt p;
    1.29 -  val SOME known_x = parseNEW ctxt "x + y + z";
    1.30 -  val SOME unknown = parseNEW ctxt "a + b + c";
    1.31 +  val known_x = parseparse ctxt "x + y + z";
    1.32 +  val unknown = parse ctxt "a + b + c";
    1.33  *}
    1.34  
    1.35  ML {*
    1.36 @@ -431,8 +431,8 @@
    1.37  
    1.38  ML {*
    1.39    val ctxt = get_ctxt pt p;
    1.40 -  val SOME known_x = parseNEW ctxt "x+y+z";
    1.41 -  val SOME unknown = parseNEW ctxt "a+b+c";
    1.42 +  val known_x = parse ctxt "x+y+z";
    1.43 +  val unknown = parse ctxt "a+b+c";
    1.44  *}
    1.45  
    1.46  ML {*
    1.47 @@ -537,9 +537,9 @@
    1.48      {\bf Datum} & {\bf Stunden} & {\bf Beschreibung} \\
    1.49      02.03.2011 & 1:30 & vorbereitendes Übungsbeispiel \\
    1.50      03.03.2011 & 1:00 & ... \\
    1.51 -    04.03.2011 & 5:00 & Funktion {\tt parseNEW} schreiben \\
    1.52 +    04.03.2011 & 5:00 & Funktion {\tt parse} schreiben \\
    1.53      05.03.2011 & 3:00 & Funktion {\tt vars} anpassen, {\tt declare\_constraints} neu \\
    1.54 -    07.03.2011 & 8:45 & {\tt parseNEW}, Spezifikationen studieren \\
    1.55 +    07.03.2011 & 8:45 & {\tt parse}, Spezifikationen studieren \\
    1.56      08.03.2011 & 6:00 & {\it context} in zentrale Datenstrukturen einbauen \\
    1.57      09.03.2011 & 2:00 & Fehlersuche {\it context}-Integration \\
    1.58  \end{tabular}