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.