CBMC
|
This is the complete list of members for levenshtein_automatont, including all inherited members.
dump_automaton_dot_to(std::ostream &out) | levenshtein_automatont | inline |
final_states | levenshtein_automatont | private |
get_edit_distance(const std::string &string) const | levenshtein_automatont | |
levenshtein_automatont(const std::string &string, std::size_t allowed_errors=2) | levenshtein_automatont | |
matches(const std::string &string) const | levenshtein_automatont | |
nfa | levenshtein_automatont | private |
state_labelt typedef | levenshtein_automatont | private |