add_rule(std::initializer_list<size_t>, std::initializer_list<size_t>)¶
-
inline void libsemigroups::fpsemigroup::KnuthBendix::add_rule(std::initializer_list<size_t> u, std::initializer_list<size_t> v)¶
Add a rule.
- Complexity
Constant.
- Parameters
u – the left-hand side of the rule being added.
v – the right-hand side of the rule being added.
- Throws
LibsemigroupsException – if any of the following apply:
started() returns
true
; oru
orv
contains a letter that is out of bounds.
- Returns
(None)