validate_word(word_type const&) const

void libsemigroups::fpsemigroup::KnuthBendix::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