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
thatthis
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
: theS
isomorphic to the finitely presented semigroup represented bythis
.