Storm
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::utility::string::SimilarStrings, including all inherited members.
add(std::string const &string) | storm::utility::string::SimilarStrings | |
isSimilar(std::string const &string) const | storm::utility::string::SimilarStrings | |
SimilarStrings(std::string reference, double similarityFactor=0.6, bool caseSensitive=true) | storm::utility::string::SimilarStrings | |
toDidYouMeanString() const | storm::utility::string::SimilarStrings | |
toList() const | storm::utility::string::SimilarStrings |