has_parent_froidure_pinΒΆ

bool libsemigroups::CongruenceInterface::has_parent_froidure_pin() const

Returns true if the congruence represented by this was created from a FroidurePin instance.

If true is returned, then this is a congruence over the semigroup represented by a FroidurePin instance.

Return

A bool.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Parameters

(None)