add_rules(std::vector<rule_type> const&)

void libsemigroups::fpsemigroup::KnuthBendix::add_rules(std::vector<rule_type> const &rels)

Add the rules in a vector to this.

Return

(None)

Complexity

\(O(n)\) where \(n\) is the size of rels.

Parameters

• rels: a vector of FpSemigroupInterface::rule_type.

Exceptions

• LibsemigroupsException: if add_rule() with argument any item in rels throws.