parent_froidure_pin¶
-
std::shared_ptr<FroidurePinBase>
libsemigroups::KnuthBendixCongruenceByPairs
::
parent_froidure_pin
() const¶ Returns a shared_ptr to the parent FroidurePin over which the congruence represented by this object was defined, if it exists.
- Return
A std::shared_ptr to FroidurePinBase.
- Complexity
Constant.
- Parameters
(None)
- Exceptions
LibsemigroupsException
: ifthis
was not created using a FroidurePin instance.