KnuthBendixCongruenceByPairs(congruence_type, std::shared_ptr<KnuthBendix>)ΒΆ

libsemigroups::KnuthBendixCongruenceByPairs::KnuthBendixCongruenceByPairs(congruence_type type, std::shared_ptr<KnuthBendix> kb)

Construct a KnuthBendixCongruenceByPairs over the fpsemigroup::KnuthBendix instance kb representing a left/right/2-sided congruence according to type.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Note

The fpsemigroup::KnuthBendix referred to by kb is not copied.

Parameters

  • type: whether the congruence is left, right, or 2-sided

  • kb: a reference to the semigroup over which the congruence is defined.