add_rule(rule_type)

void libsemigroups::fpsemigroup::KnuthBendix::add_rule(rule_type rel)

Add a rule.

Return

(None)

Complexity

Constant.

Parameters

• rel: the rule being added.

Exceptions

• LibsemigroupsException: if any of the following apply:

  • started() returns true; or

  • rel.first or rel.second contains a letter that is out of bounds.