blob: 653af602c0da00772d6750f18d241d56c949d8a0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
// Copyright Vespa.ai. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root.
#pragma once
#include "dfa_string_comparator.h"
#include <vespa/vespalib/datastore/atomic_entry_ref.h>
#include <vespa/vespalib/fuzzy/levenshtein_dfa.h>
namespace search::attribute {
/**
* Class that uses a LevenshteinDfa to fuzzy match a target word against words in a dictionary.
*
* The dictionary iterator is advanced based on the successor string from the DFA
* each time the candidate word is _not_ a match.
*/
class DfaFuzzyMatcher {
private:
vespalib::fuzzy::LevenshteinDfa _dfa;
std::vector<uint32_t> _successor;
std::vector<uint32_t> _prefix;
uint32_t _prefix_size;
bool _cased;
static constexpr uint32_t beyond_unicode = 0x110000;
const char* skip_prefix(const char* word) const;
public:
DfaFuzzyMatcher(std::string_view target, uint8_t max_edits, uint32_t prefix_size, bool cased, vespalib::fuzzy::LevenshteinDfa::DfaType dfa_type);
DfaFuzzyMatcher(std::string_view target, uint8_t max_edits, uint32_t prefix_size, bool cased); // Defaults to table-based DFA
~DfaFuzzyMatcher();
[[nodiscard]] static constexpr bool supports_max_edits(uint8_t edits) noexcept {
return (edits == 1 || edits == 2);
}
[[nodiscard]] bool is_match(std::string_view word) const;
/*
* If prefix size is nonzero then this variant of is_match()
* should only be called with words that starts with the extracted
* prefix of the target word.
*
* Caller must position iterator at right location using lower bound
* functionality in the dictionary.
*/
template <typename DictionaryConstIteratorType>
[[nodiscard]] bool is_match(const char* word, DictionaryConstIteratorType& itr, const DfaStringComparator::DataStoreType& data_store);
};
}
|