has_quotient_froidure_pin

inline bool libsemigroups::CongruenceInterface::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.