diff options
author | Philipp Koehn <phi@jhu.edu> | 2016-05-27 12:39:42 +0300 |
---|---|---|
committer | Philipp Koehn <phi@jhu.edu> | 2016-05-27 12:39:42 +0300 |
commit | c11a533f146554a14571e1e21d6f0dd25c61b963 (patch) | |
tree | 20a6863b52f91452c39e055f9971d29133502022 /moses/Search.h | |
parent | 65810a38622269e391bbad30ee0c232430e4c008 (diff) |
added segment level time out
Diffstat (limited to 'moses/Search.h')
-rw-r--r-- | moses/Search.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/moses/Search.h b/moses/Search.h index a0e07870d..7797f07a0 100644 --- a/moses/Search.h +++ b/moses/Search.h @@ -7,6 +7,7 @@ #include "Phrase.h" #include "InputPath.h" #include "Bitmaps.h" +#include "Timer.h" namespace Moses { @@ -48,6 +49,7 @@ protected: /** flag indicating that decoder ran out of time (see switch -time-out) */ size_t interrupted_flag; + Timer m_timer; bool out_of_time(); }; |