validate_word(std::string const&) const

void libsemigroups::CongruenceWrapper::validate_word(std::string const &w) const

Validates a word.

Return

(None)

Complexity

Linear in the length of w.

Parameters

(None)

Parameters
  • w: the word to validate.

Exceptions