|
Storm 1.14.0.1
A Modern Probabilistic Model Checker
|
Classes | |
| class | SimilarStrings |
Functions | |
| uint64_t | levenshteinDistance (std::string const &lhs, std::string const &rhs, bool caseSensitive=true) |
| Levenstein distance to find similar strings. | |
| std::vector< std::string > | parseCommaSeparatedStrings (std::string const &input) |
| Splits the input string on commas and trims whitespace from each element. | |
| uint64_t storm::utility::string::levenshteinDistance | ( | std::string const & | lhs, |
| std::string const & | rhs, | ||
| bool | caseSensitive ) |
Levenstein distance to find similar strings.
Definition at line 49 of file string.cpp.
| std::vector< std::string > storm::utility::string::parseCommaSeparatedStrings | ( | std::string const & | input | ) |
Splits the input string on commas and trims whitespace from each element.
Definition at line 76 of file string.cpp.