has_quotient_froidure_pin¶
-
inline bool libsemigroups::CongruenceByPairsHelper::has_quotient_froidure_pin() const noexcept¶
Returns
true
if the congruence represented by this object knows an isomorphic quotient semigroup represented by an instance of FroidurePin.- Exceptions
This function is
noexcept
and is guaranteed never to throw.- Complexity
Constant.
- Parameters
(None)
- Returns
A
bool
.