validate_word(word_type const&) const

void libsemigroups::FpSemigroup::validate_word(word_type const &w) const

Validates a word.

Return

(None)

Complexity

Linear in the length of w.

Parameters

(None)

Parameters

• w: the word to validate.

Exceptions

• LibsemigroupsException: if any index in w is out of range.