diff options
author | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-08-06 02:51:02 +0300 |
---|---|---|
committer | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-08-06 23:11:43 +0300 |
commit | 524109e2cabe5bd3ac693d3187e439885484a8c7 (patch) | |
tree | ed0bf9862bc6a50c327dd235efe3a038d2b0b2e2 /moses/Search.h | |
parent | fc10ad4afb812200d7529256797a10438cfaf1f3 (diff) |
Reorganisation of options.
The purpose of this effort is to have options local to the individual translation task,
so that they can be changed in the running system in a multi-threaded system.
Diffstat (limited to 'moses/Search.h')
-rw-r--r-- | moses/Search.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/moses/Search.h b/moses/Search.h index 164cc33ef..7bafa3157 100644 --- a/moses/Search.h +++ b/moses/Search.h @@ -43,6 +43,12 @@ protected: Manager& m_manager; InputPath m_inputPath; // for initial hypo TranslationOption m_initialTransOpt; /**< used to seed 1st hypo */ + AllOptions const& m_options; + + /** flag indicating that decoder ran out of time (see switch -time-out) */ + size_t interrupted_flag; + + bool out_of_time(); }; } |