add_rule(std::string const&, std::string const&)ΒΆ

void libsemigroups::FpSemigroupInterface::add_rule(std::string const &u, std::string 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