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.

Complexity

Constant.

Parameters

(None)

Throws

LibsemigroupsException – if this was not created using a FroidurePin instance.

Returns

A std::shared_ptr to FroidurePinBase.