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