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.