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 totype
.- 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-sidedkb
: a reference to the semigroup over which the congruence is defined.