6b7e5668fa
Add/update headers on the top of each source file
2012-02-06 16:44:09 +01:00
a975731ae4
[Positioning] OutputTerminal: handle flush-output-files
...
Flush the output stream when the option flush-output-files is activated.
2011-07-29 23:02:25 +02:00
948bd577a2
[Positioning] Output*: do not output empty RequestList
2011-07-25 14:18:16 +02:00
a898af4389
[Positioning] Write all results simultaneously
...
Write results computed by several algorithms for the same request
simultaneously for a given medium. This allows to have only one CSV line
for a given request.
To achieve that, the class ResultList was created.
2011-04-05 11:52:10 +02:00
7088e524d4
[Positioning] Add OutputMedium & OutputTerminal
...
OutputMedium is the super-class of all output media.
OutputTerminal prints a Result on the terminal (or on any stream).
2011-03-16 14:36:21 +01:00
Matteo Cypriani