set_identity(std::string const&)

void libsemigroups::CongruenceWrapper::set_identity(std::string const &id)

Set a character in alphabet() to be the identity.

This function adds rules to this so that id is the identity. This function can be called repeatedly.

Complexity

\(O(n)\) where \(n\) is alphabet().size().

See

set_identity(letter_type).

Parameters

id – a string containing the character to be the identity.

Throws

LibsemigroupsException – If id has length greater than 1, or id contains a character that is not in alphabet().

Returns

(None)