Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::utility::string Namespace Reference

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.

Function Documentation

◆ levenshteinDistance()

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.

◆ parseCommaSeparatedStrings()

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.