KnuthBendixCongruenceByPairs(congruence_type, KnuthBendix const&)ΒΆ
-
libsemigroups::KnuthBendixCongruenceByPairs
::
KnuthBendixCongruenceByPairs
(congruence_type type, KnuthBendix const &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.
- Warning
The parameter
kb
is copied, this might be expensive, use a std::shared_ptr to avoid the copy!- Parameters
type
: whether the congruence is left, right, or 2-sidedkb
: a reference to the semigroup over which the congruence is defined.