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 to type.

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.