has_froidure_pin¶
-
inline bool libsemigroups::fpsemigroup::KnuthBendix::has_froidure_pin() const noexcept¶
Returns
true
if a FroidurePin instance isomorphic to the finitely presented semigroup defined bythis
has already been computed, andfalse
if not.- Exceptions
This function is
noexcept
and is guaranteed never to throw.- Complexity
Constant.
- Parameters
(None)
- Returns
A
bool
.