Congruence(congruence_type, std::shared_ptr<FroidurePinBase>)¶
-
libsemigroups::Congruence
::
Congruence
(congruence_type type, std::shared_ptr<FroidurePinBase> S)¶ Constructs a Congruence over the FroidurePin instance
S
representing a left/right/2-sided congruence according totype
.- Exceptions
Does not throw itself but functions called by this function may throw.
- 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.