equal_to(std::string const&, std::string const&)ΒΆ
-
bool
libsemigroups::CongruenceWrapper
::
equal_to
(std::string const &u, std::string const &v) Check if two words represent the same element.
- Return
true
if the stringsu
andv
represent the same element of the finitely presented semigroup, andfalse
otherwise.- Complexity
See warning.
- Warning
The problem of determining the return value of this function is undecidable in general, and this function may never terminate.
- See
- Parameters
u
: a string over the alphabet of the finitely presented semigroup.v
: a string over the alphabet of the finitely presented semigroup.
- Exceptions
LibsemigroupsException
: ifu
orv
contains a letter that does not belong to alphabet().std::bad_alloc
: if the (possibly infinite) computation uses all the available memory.