diff options
| author | Paul Baltescu <pauldb89@gmail.com> | 2013-02-22 11:59:17 +0000 |
|---|---|---|
| committer | Paul Baltescu <pauldb89@gmail.com> | 2013-02-22 11:59:17 +0000 |
| commit | 120b78445c563c0751997a6e2a5354b86a7cd865 (patch) | |
| tree | 1eaf2a043c40252e2c489bf66ffb40bbdc4bf400 /extractor/grammar_extractor.h | |
| parent | 69280bace494f5cb7d1dcc9fdb0093c853aeb968 (diff) | |
Remove original version of the intersector.
Diffstat (limited to 'extractor/grammar_extractor.h')
| -rw-r--r-- | extractor/grammar_extractor.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/extractor/grammar_extractor.h b/extractor/grammar_extractor.h index a8f2090d..f50a8d14 100644 --- a/extractor/grammar_extractor.h +++ b/extractor/grammar_extractor.h @@ -29,8 +29,6 @@ class GrammarExtractor { int max_nonterminals, int max_rule_symbols, int max_samples, - bool use_fast_intersect, - bool use_baeza_yates, bool require_tight_phrases); // For testing only. |