KnuthBendixΒΆ
-
libsemigroups::congruence::KnuthBendix
::
KnuthBendix
() Constructs a KnuthBendix instance with no generating pairs.
- Parameters
(None)
- Complexity
Constant.
libsemigroups::congruence::KnuthBendix::
KnuthBendix
()Constructs a KnuthBendix instance with no generating pairs.
(None)
Constant.