move global Timer to Timer.h

Move ResetUserTime(), PrintUserTime(), GetUserTime() to Timer.h

Do not reset timer in StaticData.

1 files changed, 15 insertions, 0 deletions

diff --git a/moses/Timer.h b/moses/Timer.h
index 0471fafe1..fe6066788 100644
--- a/moses/Timer.h
+++ b/moses/Timer.h
@@ -9,6 +9,21 @@
 namespace Moses
 {
 
+// A couple of utilities to measure decoding time
+
+/** Start global timer. */
+void ResetUserTime();
+
+/** Print out an optional message followed by the current global timer timing. */
+void PrintUserTime(const std::string &message);
+
+/**
+ * Total wall time that the global timer has been in the "running"
+ * state since it was first "started".
+ */
+double GetUserTime();
+
+
 /** Wrapper around time_t to time how long things have been running
  *  according to walltime. We avoid CPU time since it is less reliable
  *  in a multi-threaded environment and can spuriously include clock cycles