overlap_policy

KnuthBendix &libsemigroups::fpsemigroup::KnuthBendix::overlap_policy(policy::overlap val)

Set the overlap policy.

This function can be used to determine the way that the length of an overlap of two words in the system is measured.

Return

A reference to *this.

Complexity

Constant.

See

KnuthBendix::policy::overlap.

Parameters
  • val: the maximum number of rules.