Validation¶
This page contains information about the member functions for validating words in the Ukkonen
class.
-
template<typename Iterator>
void libsemigroups::Ukkonen::validate_word(Iterator first, Iterator last) const¶ Validate the word
[first, last)
.This function throws an exception if the word corresponding to
first
andlast
contains a letter equal to any of the unique letters added to the end of words in the suffix tree.- Complexity
Linear in the distance from
first
tolast
.
- Template Parameters
Iterator – the type of the arguments.
- Parameters
first – iterator pointing to the first letter of the word.
last – one beyond the last letter of the word.
- Throws
LibsemigroupsException – if
is_unique_letter(*it)
returnstrue
for anyit
in[first, last)
.- Returns
(None)
-
inline void libsemigroups::Ukkonen::validate_word(word_type const &w) const¶
Validate a word.
See validate_word