+void
+Log::set_level (string l)
+{
+ if (l == "verbose") {
+ set_level (VERBOSE);
+ return;
+ } else if (l == "timing") {
+ set_level (TIMING);
+ return;
+ }
+
+ set_level (STANDARD);
+}
+
+/** @param file Filename to write log to */
+FileLog::FileLog (string file)
+ : _file (file)
+{
+
+}
+
+void
+FileLog::do_log (string m)
+{
+ ofstream f (_file.c_str(), fstream::app);
+ f << m << "\n";
+}
+