templates2/danube.scala
author Christian Urban <urbanc@in.tum.de>
Fri, 16 Aug 2019 08:45:21 +0100
changeset 277 48dac4856e95
parent 203 e0420c7b8a19
child 284 fc20e5f83f0e
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
203
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
// Part 2 and 3 about Movie Recommendations 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
// at Danube.co.uk
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
//===========================================
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
import io.Source
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
import scala.util._
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
// (1) Implement the function get_csv_url which takes an url-string
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
//     as argument and requests the corresponding file. The two urls
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
//     of interest are ratings_url and movies_url, which correspond 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
//     to CSV-files.
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
//
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
//     The function should ReTurn the CSV-file appropriately broken
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
//     up into lines, and the first line should be dropped (that is without
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
//     the header of the CSV-file). The result is a list of strings (lines
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
//     in the file).
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
//def get_csv_url(url: String) : List[String] = ...
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
val ratings_url = """https://nms.kcl.ac.uk/christian.urban/ratings.csv"""
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
val movies_url = """https://nms.kcl.ac.uk/christian.urban/movies.csv"""
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
// testcases
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
//-----------
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
//val ratings = get_csv_url(ratings_url)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
//val movies = get_csv_url(movies_url)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
//ratings.length  // 87313
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
//movies.length   // 9742
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
// (2) Implement two functions that process the CSV-files from (1). The ratings
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
//     function filters out all ratings below 4 and ReTurns a list of 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
//     (userID, movieID) pairs. The movies function just ReTurns a list 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
//     of (movieID, title) pairs.
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
//def process_ratings(lines: List[String]) : List[(String, String)] = ...
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
//def process_movies(lines: List[String]) : List[(String, String)] = ...
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
// testcases
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
//-----------
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
//val good_ratings = process_ratings(ratings)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
//val movie_names = process_movies(movies)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
//good_ratings.length   //48580
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
//movie_names.length    // 9742
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
//==============================================
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
// Do not change anything below, unless you want 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
// to submit the file for the advanced part 3!
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
//==============================================
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
// (3) Implement a grouping function that calculates a Map
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
//     containing the userIDs and all the corresponding recommendations 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
//     (list of movieIDs). This  should be implemented in a tail
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
//     recursive fashion, using a Map m as accumulator. This Map m
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
//     is set to Map() at the beginning of the calculation.
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
//def groupById(ratings: List[(String, String)], 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
//              m: Map[String, List[String]]) : Map[String, List[String]] = ...
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
// testcases
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
//-----------
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
//val ratings_map = groupById(good_ratings, Map())
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
//val movies_map = movie_names.toMap
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
//ratings_map.get("414").get.map(movies_map.get(_)) 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
//    => most prolific recommender with 1227 positive ratings
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
//ratings_map.get("474").get.map(movies_map.get(_)) 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
//    => second-most prolific recommender with 787 positive ratings
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
//ratings_map.get("214").get.map(movies_map.get(_)) 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
//    => least prolific recommender with only 1 positive rating
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
// (4) Implement a function that takes a ratings map and a movie_name as argument.
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
//     The function calculates all suggestions containing
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
//     the movie in its recommendations. It ReTurns a list of all these
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
//     recommendations (each of them is a list and needs to have the movie deleted, 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
//     otherwise it might happen we recommend the same movie).
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
//def favourites(m: Map[String, List[String]], mov: String) : List[List[String]] = ...
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
// testcases
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
//-----------
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
// movie ID "912" -> Casablanca (1942)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
//          "858" -> Godfather
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
//          "260" -> Star Wars: Episode IV - A New Hope (1977)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
//favourites(ratings_map, "912").length  // => 80
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
// That means there are 80 users that recommend the movie with ID 912.
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   107
// Of these 80  users, 55 gave a good rating to movie 858 and
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   108
// 52 a good rating to movies 260, 318, 593.
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   109
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   110
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   111
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   112
// (5) Implement a suggestions function which takes a rating
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   113
//     map and a movie_name as arguments. It calculates all the recommended
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   114
//     movies sorted according to the most frequently suggested movie(s) first.
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   115
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   116
//def suggestions(recs: Map[String, List[String]], 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
//                mov_name: String) : List[String] = ...
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   120
// testcases
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   121
//-----------
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   122
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   123
//suggestions(ratings_map, "912")
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   124
//suggestions(ratings_map, "912").length  
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   125
// => 4110 suggestions with List(858, 260, 318, 593, ...)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   126
//    being the most frequently suggested movies
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   129
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   130
// (6) Implement a recommendations function which generates at most
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
//     *two* of the most frequently suggested movies. It ReTurns the 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
//     actual movie names, not the movieIDs.
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   135
//def recommendations(recs: Map[String, List[String]],
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   136
//                    movs: Map[String, String],
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   137
//                    mov_name: String) : List[String] = ...
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   139
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
// testcases
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   142
//-----------
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   143
// recommendations(ratings_map, movies_map, "912")
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   144
//   => List(Godfather, Star Wars: Episode IV - A NewHope (1977))
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   145
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
//recommendations(ratings_map, movies_map, "260")
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   147
//   => List(Star Wars: Episode V - The Empire Strikes Back (1980), 
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   148
//           Star Wars: Episode VI - Return of the Jedi (1983))
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   149
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   150
// recommendations(ratings_map, movies_map, "2")
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   151
//   => List(Lion King, Jurassic Park (1993))
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   152
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   153
// recommendations(ratings_map, movies_map, "0")
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   154
//   => Nil
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   155
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   156
// recommendations(ratings_map, movies_map, "1")
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   157
//   => List(Shawshank Redemption, Forrest Gump (1994))
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   159
// recommendations(ratings_map, movies_map, "4")
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   160
//   => Nil  (there are three ratings for this movie in ratings.csv but they are not positive)     
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   161
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   162
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   163
// If you want to calculate the recommendations for all movies,
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   164
// then use this code (it will take a few seconds calculation time).
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   165
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   166
//val all = for (name <- movie_names.map(_._1)) yield {
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   167
//  recommendations(ratings_map, movies_map, name)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   168
//}
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   169
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   170
// helper functions
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   171
//List().take(2
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   172
//List(1).take(2)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   173
//List(1,2).take(2)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   174
//List(1,2,3).take(2)
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   175
e0420c7b8a19 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   176