CongruenceWrapper(std::shared_ptr<FroidurePinBase>)

libsemigroups::CongruenceWrapper::CongruenceWrapper(std::shared_ptr<FroidurePinBase> fp)

Constructor from a shared_ptr to a FroidurePinBase.

Exceptions

Throws if the constructor of the wrapped_type that this wraps throws.

Note

The FroidurePinBase pointed to by the parameter fp is not copied by this constructor.

Parameters

• fp: the FroidurePinBase isomorphic to the finitely presented semigroup represented by this.