KnuthBendix¶
-
libsemigroups::fpsemigroup::KnuthBendix
::
KnuthBendix
()¶ Constructs a KnuthBendix instance with no rules, and the short-lex reduction ordering.
- Parameters
(None)
- Complexity
Constant.
libsemigroups::fpsemigroup::KnuthBendix::
KnuthBendix
()¶Constructs a KnuthBendix instance with no rules, and the short-lex reduction ordering.
(None)
Constant.