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.- Exceptions
This function is
noexcept
and is guaranteed never to throw.- Complexity
Constant.
- Parameters
(None)
- Returns
A
bool
.