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.