has_parent_fpsemigroup

bool libsemigroups::CongruenceInterface::has_parent_fpsemigroup() const noexcept

Returns true if the congruence represented by this was created from an FpSemigroupInterface instance.

If true is returned, then this is a congruence over a semigroup represented by an FpSemigroupInterface instance.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Parameters

(None)

Returns

A bool.