Congruence(congruence_type, FpSemigroup&)¶
-
libsemigroups::Congruence::Congruence(congruence_type type, FpSemigroup &S)¶
Constructs a Congruence over the FpSemigroup 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.
- Parameters
type – whether the congruence is left, right, or 2-sided
S – a const reference to the finitely presented semigroup over which the congruence is defined.