add_rule(word_type const&, word_type const&)¶
-
void
libsemigroups::fpsemigroup::KnuthBendix
::
add_rule
(word_type const &u, word_type const &v)¶ Add a rule.
- Return
(None)
- Complexity
Constant.
- Parameters
u
: the left-hand side of the rule being added.v
: the right-hand side of the rule being added.
- Exceptions
LibsemigroupsException
: if any of the following apply:started() returns
true
; oru
orv
contains a letter that is out of bounds.