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

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

Add the rules in a vector to this.

Complexity

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

Parameters

rels – a vector of FpSemigroupInterface::rule_type.

Throws

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

Returns

(None)