max_rules

KnuthBendix &libsemigroups::fpsemigroup::KnuthBendix::max_rules(size_t val)

Set the maximum number of rules.

This member function sets the (approximate) maximum number of rules that the system should contain. If this is number is exceeded in calls to KnuthBendix::knuth_bendix or KnuthBendix::knuth_bendix_by_overlap_length, then they will terminate and the system may not be confluent.

By default this value is libsemigroups::POSITIVE_INFINITY.

Return

A reference to *this.

Complexity

Constant.

See

KnuthBendix::knuth_bendix and KnuthBendix::knuth_bendix.

Parameters
  • val: the maximum number of rules.