max_rules

inline 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.

Complexity

Constant.

See

KnuthBendix::knuth_bendix and KnuthBendix::knuth_bendix.

Parameters

val – the maximum number of rules.

Returns

A reference to *this.