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)