has_quotient_froidure_pin¶
-
bool
libsemigroups::congruence::KnuthBendix
::
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.- Return
A
bool
.- Exceptions
This function is
noexcept
and is guaranteed never to throw.- Complexity
Constant.
- Parameters
(None)