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

inline void libsemigroups::FpSemigroup::add_rule(std::initializer_list<size_t> u, std::initializer_list<size_t> v)

Add a rule.

Complexity

Constant.

Parameters
  • u – the left-hand side of the rule being added.

  • v – the right-hand side of the rule being added.

Throws

LibsemigroupsException – if any of the following apply:

  • started() returns true; or

  • u or v contains a letter that is out of bounds.

Returns

(None)