has_parent_fpsemigroup¶
-
bool
libsemigroups::CongruenceInterface
::
has_parent_fpsemigroup
() const noexcept¶ Returns
true
if the congruence represented bythis
was created from an FpSemigroupInterface instance.If
true
is returned, thenthis
is a congruence over a semigroup represented by an FpSemigroupInterface instance.- Return
A
bool
.- Exceptions
This function is
noexcept
and is guaranteed never to throw.- Complexity
Constant.
- Parameters
(None)