CongruenceWrapper(S const&)

template<typename S>
libsemigroups::CongruenceWrapper::CongruenceWrapper(S const &fp)

Constructor from a const reference to a FroidurePinBase.

Exceptions

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

Warning

The parameter fp is copied by this constructor, this might be expensive, use CongruenceWrapper(std::shared_ptr<FroidurePinBase>) to avoid this copy.

Template Parameters

• S: a derived class of FroidurePinBase

Parameters

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