add_rule(std::initializer_list<size_t>, std::initializer_list<size_t>)

void libsemigroups::fpsemigroup::KnuthBendix::add_rule(std::initializer_list<size_t> u, std::initializer_list<size_t> 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