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 | 0d1f0af81ad2a368bc3216451a87111be8b9f6f5 (patch) | |
| tree | 15d54f0ae8e79ffff5e06d66799855dd8bd37a63 /extractor/grammar_extractor.h | |
| parent | 9cc2e002a064a2e14444669178126d1e96be8230 (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, |