cws/cw06.tex
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 23 Dec 2022 16:52:34 +0000
changeset 456 d076cb2e0b75
parent 265 59779ce322a6
permissions -rw-r--r--
updated jars
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
     1
\documentclass{article}[11pt]
62
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 6
diff changeset
     2
\usepackage{../style}
118
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
     3
\usepackage{../graphics}
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
     4
\usepackage{disclaimer}
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
\begin{document}
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
     8
\section*{Resit Exam}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
     9
265
59779ce322a6 updated
Christian Urban <urbanc@in.tum.de>
parents: 175
diff changeset
    10
The Scala part of the exam is worth 50\%. It is about `jumps'
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    11
within lists.
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    13
\IMPORTANTEXAM{}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    14
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    15
\DISCLAIMEREXAM{}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    16
 
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    17
%%\newpage
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    18
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    19
\subsection*{Task}
62
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 6
diff changeset
    20
2151c77e1e24 updated
Christian Urban <urbanc@in.tum.de>
parents: 6
diff changeset
    21
\noindent
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    22
Suppose you are given a list of numbers. Each number indicates how many
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    23
steps can be taken forward from this element. For example in the
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    24
list 
118
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    25
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    26
\begin{center}
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    27
\begin{tikzpicture}[scale=0.8]
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    28
  \draw[line width=1mm,cap=round] (0,0) -- (5,0);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    29
  \draw[line width=1mm,cap=round] (0,1) -- (5,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    30
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    31
  \draw[line width=1mm,cap=round] (0,0) -- (0,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    32
  \node at (0.5,0.5) {\textbf{\Large 3}};
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    33
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    34
  \draw[line width=1mm,cap=round] (1,0) -- (1,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    35
  \node at (1.5,0.5) {\textbf{\Large 4}};
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    36
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    37
  \draw[line width=1mm,cap=round] (2,0) -- (2,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    38
  \node at (2.5,0.5) {\textbf{\Large 2}};
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    39
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    40
  \draw[line width=1mm,cap=round] (3,0) -- (3,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    41
  \node at (3.5,0.5) {\textbf{\Large 0}};
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    42
  
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    43
  \draw[line width=1mm,cap=round] (4,0) -- (4,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    44
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    45
  \node at (4.5,0.5) {\textbf{\Large 1}};
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    46
  
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    47
  \draw[line width=1mm,cap=round] (5,0) -- (5,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    48
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    49
  \draw[->,line width=0.5mm,cap=round,out=90,in=90,relative] (0.5,1) to (1.5,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    50
  \draw[->,line width=0.5mm,cap=round,out=90,in=90,relative] (0.5,1) to (2.5,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    51
  \draw[->,line width=0.5mm,cap=round,out=90,in=90,relative] (0.5,1) to (3.5,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    52
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    53
  \draw[->,line width=0.5mm,cap=round,out=-90,in=-90,relative] (2.5,0) to (3.5,0);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    54
  \draw[->,line width=0.5mm,cap=round,out=-90,in=-90,relative] (2.5,0) to (4.5,0);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    55
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    56
  \draw[->,line width=0.5mm,cap=round,out=90,in=90,relative] (4.5,1) to (5.7,1);
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    57
  \node at (5.7, 0.8) {End};
118
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    58
\end{tikzpicture}
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    59
\end{center}  
118
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    60
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    61
\noindent
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    62
the first 3 indicates that you can step to the next three elements,
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    63
that is 4, 2, and 0. The 2 in the middle indicates that you can step
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    64
to elements 0 and 1.  From the final 1 you can step to the End of the
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    65
list. You can also do this from element 4, since the end of this list
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    66
is reachable from there. A 0 always indicates that you cannot
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    67
step any further from this element.\medskip
118
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    68
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    69
\noindent
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    70
The problem is to calculate a sequence of steps to reach the end of
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    71
the list by taking only steps indicated by the integers. For the list
175
526542d8d700 updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    72
above, possible sequences of steps are 3 - 2 - 1 - End, but also 3 - 4
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    73
- End.  This is a recursive problem that can be thought of as a tree
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    74
where the root is a list and the children are all the lists that are
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    75
reachable by a single step. For example for the list above this gives a
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    76
tree like
118
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    77
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    78
\begin{center}
175
526542d8d700 updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    79
  \begin{tikzpicture}
526542d8d700 updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    80
    [grow=right,level distance=30mm,child anchor=north,line width=0.5mm]
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    81
  \node {[3,4,2,0,1]}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    82
     child {node {[0,1]}}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    83
     child {node {[2,0,1]}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    84
        child {node {[1]} child [level distance=13mm] {node {End}}}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    85
        child {node {[0,1]}}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    86
     }
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    87
     child {node {[4,2,0,1]\ldots}};
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    88
\end{tikzpicture}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    89
\end{center}
119
9bfc82cd3351 updated
Christian Urban <urbanc@in.tum.de>
parents: 118
diff changeset
    90
118
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    91
\subsubsection*{Tasks}
105
67ce930b5935 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 100
diff changeset
    92
67ce930b5935 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 100
diff changeset
    93
\begin{itemize}
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    94
\item[(1)] Write a function, called \texttt{steps}, that calculates
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    95
  the children of a list. This function takes an integer as one argument
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    96
  indicating how many children should be returned. The other argument is a list
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    97
  of integers.  In case of 3 and the list [4,2,0,1], it should produce
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
    98
  the list
105
67ce930b5935 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 100
diff changeset
    99
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   100
  \begin{center}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   101
  {\large[}\;[4,2,0,1],\; [2,0,1],\; [0,1]\;{\large]}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   102
  \end{center}  
105
67ce930b5935 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 100
diff changeset
   103
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   104
  Be careful to account properly for the end of the list. For example
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   105
  for the integer 4 and the list [2,0,1], the function should return the list
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   106
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   107
  \begin{center}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   108
  {\large[}\;[2,0,1], [0,1],\; [1]\;{\large]}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   109
  \end{center}  
105
67ce930b5935 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 100
diff changeset
   110
67ce930b5935 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 100
diff changeset
   111
265
59779ce322a6 updated
Christian Urban <urbanc@in.tum.de>
parents: 175
diff changeset
   112
  \mbox{}\hfill[Marks: 12\%]
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   113
 
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   114
\item[(2)] Write a function \texttt{search} that tests whether there
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   115
  is a way to reach the end of a list.  This is not always the
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   116
  case, for example for the list
118
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
   117
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   118
  \begin{center}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   119
    [3,5,1,0,0,0,0,0,0,0,0,1]
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   120
  \end{center}
118
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
   121
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   122
  \noindent
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   123
  there is no sequence of steps that can bring you to the end of the list.
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   124
  If there is a way, \texttt{search} should return true, otherwise false.
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   125
  In case of the empty list, \texttt{search} should return true since the
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   126
  end of the list is already reached.
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   127
  
265
59779ce322a6 updated
Christian Urban <urbanc@in.tum.de>
parents: 175
diff changeset
   128
  \mbox{}\hfill\mbox{[Marks: 18\%]}
78
85f2f75abeeb updated
Christian Urban <urbanc@in.tum.de>
parents: 75
diff changeset
   129
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   130
\item[(3)] Write a function \texttt{jumps} that calculates the
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   131
  shortest sequence of steps needed to reach the end of a list. One
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   132
  way to calculate this is to generate \emph{all} sequences to reach
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   133
  the end of a list and then select one that has the shortest length.
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   134
  This function needs to return a value of type
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   135
  \texttt{Option[List[Int]]} because for some lists there does not
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   136
  exists a sequence at all. If there exists such a sequence,
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   137
  \texttt{jumps} should return \texttt{Some(\ldots)}; otherwise
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   138
  \texttt{None}. In the special case of the empty list, \texttt{jumps}
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   139
  should return \texttt{None}
119
9bfc82cd3351 updated
Christian Urban <urbanc@in.tum.de>
parents: 118
diff changeset
   140
265
59779ce322a6 updated
Christian Urban <urbanc@in.tum.de>
parents: 175
diff changeset
   141
  \mbox{}\hfill\mbox{[Marks: 20\%]}
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   142
  
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   143
\end{itemize}\bigskip
118
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
   144
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
   145
276b3127f84a updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
   146
\noindent
174
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   147
\textbf{Hints:} useful list functions: \texttt{.minBy(..)} searches for
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   148
the first element in a list that is the minimum according to
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   149
a given measure; \texttt{.length} calculates the length of a list;
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   150
\texttt{.exists(..)} returns true when an element in a list
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   151
satisfies a given predicate, otherwise returns false;
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   152
\texttt{.map(..)} applies a given function to each element
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   153
in a list; \texttt{.flatten} turns a list of
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   154
lists into just a list; \texttt{\_::\_} puts an element on the head of
90e0b1cc460b updated
Christian Urban <urbanc@in.tum.de>
parents: 121
diff changeset
   155
the list.
109
293ea84d82ca updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   156
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   157
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
\end{document}
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   159
68
8da9e0c16194 updated
Christian Urban <urbanc@in.tum.de>
parents: 62
diff changeset
   160
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   161
%%% Local Variables: 
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   162
%%% mode: latex
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   163
%%% TeX-master: t
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   164
%%% End: