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)