CBMC
levenshtein_automatont Member List

This is the complete list of members for levenshtein_automatont, including all inherited members.

dump_automaton_dot_to(std::ostream &out)levenshtein_automatontinline
final_stateslevenshtein_automatontprivate
get_edit_distance(const std::string &string) constlevenshtein_automatont
levenshtein_automatont(const std::string &string, std::size_t allowed_errors=2)levenshtein_automatont
matches(const std::string &string) constlevenshtein_automatont
nfalevenshtein_automatontprivate
state_labelt typedeflevenshtein_automatontprivate