CongruenceByPairs(congruence_type, std::shared_ptr<FroidurePinBase>)ΒΆ
-
libsemigroups::CongruenceByPairs
::
CongruenceByPairs
(congruence_type type, std::shared_ptr<FroidurePinBase> S) Construct a CongruenceByPairs over the FroidurePin instance
S
representing a left/right/2-sided congruence according totype
.- Complexity
Constant.
- Note
The FroidurePinBase pointed to by
S
is not copied- Parameters
type
: whether the congruence is left, right, or 2-sidedS
: a shared_ptr to the semigroup over which the congruence is defined.
- Exceptions
LibsemigroupsException
: iftype
and the template parameterT
are incompatible. Currently, this is whentype
is notcongruence_type::right
andT::element_type
is TCE.