has_froidure_pin

inline bool libsemigroups::CongruenceWrapper::has_froidure_pin() const noexcept

Returns true if a FroidurePin instance isomorphic to the finitely presented semigroup defined by this has already been computed, and false if not.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Parameters

(None)

Returns

A bool.