diff options
| author | Paul Baltescu <pauldb89@gmail.com> | 2013-11-24 13:19:28 +0000 |
|---|---|---|
| committer | Paul Baltescu <pauldb89@gmail.com> | 2013-11-24 16:26:49 +0000 |
| commit | f528ac27dab11770f01595b043675dba2947a263 (patch) | |
| tree | 0f340a74879772fc8a5d8c4484df27457f25f11e /extractor/grammar_extractor.h | |
| parent | 79206291f78fba893fda6a61ff0ae9264d00bb82 (diff) | |
Reduce memory overhead for constructing the intersector.
Diffstat (limited to 'extractor/grammar_extractor.h')
| -rw-r--r-- | extractor/grammar_extractor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extractor/grammar_extractor.h b/extractor/grammar_extractor.h index ae407b47..8f570df2 100644 --- a/extractor/grammar_extractor.h +++ b/extractor/grammar_extractor.h @@ -32,6 +32,7 @@ class GrammarExtractor { shared_ptr<Alignment> alignment, shared_ptr<Precomputation> precomputation, shared_ptr<Scorer> scorer, + shared_ptr<Vocabulary> vocabulary, int min_gap_size, int max_rule_span, int max_nonterminals, |