add_rule(relation_type)¶
-
inline void libsemigroups::FpSemigroup::add_rule(relation_type rel)¶
Add a rule.
- Complexity
Constant.
- Parameters
rel – the rule being added.
- Throws
LibsemigroupsException – if any of the following apply:
started() returns
true
; orrel.first
orrel.second
contains a letter that is out of bounds.
- Returns
(None)