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.

Complexity

Constant.

See

KnuthBendix::policy::overlap.

Parameters

val – the maximum number of rules.

Returns

A reference to *this.