add_rule(word_type const&, word_type const&)

void libsemigroups::fpsemigroup::KnuthBendix::add_rule(word_type const &u, word_type 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