max_overlap

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

Set the maximum length of overlaps to be considered.

This function can be used to specify the maximum length of the overlap of two left hand sides of rules that should be considered in KnuthBendix::knuth_bendix.

If this value is less than the longest left hand side of a rule, then KnuthBendix::knuth_bendix can terminate without the system being confluent.

Return

A reference to *this.

Complexity

Constant.

See

KnuthBendix::knuth_bendix.

Parameters
  • val: the new value of the maximum overlap length.