add_rule(rule_type)

void libsemigroups::FpSemigroup::add_rule(rule_type rel)

Add a rule.

Return

(None)

Complexity

Constant.

Parameters
  • rel: the rule being added.

Exceptions