validate_letter(char) const

void libsemigroups::fpsemigroup::KnuthBendix::validate_letter(char c) const

Validates a letter.

Complexity

Constant.

Parameters

(None)

Parameters

c – the letter to validate.

Throws

LibsemigroupsException – if c does not belong to alphabet().

Returns

(None)