diff options
author | Tim King <taking@google.com> | 2016-08-31 15:35:06 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-08-31 15:35:06 -0700 |
commit | 3db673c6cc8140c17ae229da86102955dce72434 (patch) | |
tree | 795843374bdc344208831d46a56d4a5e63e27989 /src/options/didyoumean.h | |
parent | 9ac5255577a07e3bef123908d55003f89dea7619 (diff) |
Removing typeof from didyoumean.cpp.
Diffstat (limited to 'src/options/didyoumean.h')
-rw-r--r-- | src/options/didyoumean.h | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/options/didyoumean.h b/src/options/didyoumean.h index 71a12e6fc..31b58aadb 100644 --- a/src/options/didyoumean.h +++ b/src/options/didyoumean.h @@ -19,25 +19,22 @@ #pragma once -#include <vector> #include <set> #include <string> +#include <vector> namespace CVC4 { class DidYouMean { + public: typedef std::set<std::string> Words; - Words d_words; -public: DidYouMean() {} ~DidYouMean() {} DidYouMean(Words words) : d_words(words) {} - void addWord(std::string word) { - d_words.insert(word); - } + void addWord(std::string word) { d_words.insert(word); } std::vector<std::string> getMatch(std::string input); @@ -45,9 +42,12 @@ public: * This is provided to make it easier to ensure consistency of * output. Returned string is empty if there are no matches. */ - std::string getMatchAsString(std::string input, int prefixNewLines = 2, int suffixNewLines = 0); -private: + std::string getMatchAsString(std::string input, int prefixNewLines = 2, + int suffixNewLines = 0); + + private: int editDistance(const std::string& a, const std::string& b); + Words d_words; }; -}/*CVC4 namespace*/ +} /*CVC4 namespace*/ |