set_alphabet(std::string const&)

void libsemigroups::fpsemigroup::KnuthBendix::set_alphabet(std::string const &a)

Set the alphabet of the finitely presented semigroup.

Return

(None)

Complexity

Constant.

See

alphabet() and set_alphabet(size_t).

Parameters
  • a: the alphabet.

Exceptions
  • LibsemigroupsException: If the alphabet has already ! been set to another value, the parameter a is empty, or there are ! repeated characters in a.