policy::overlap

enum libsemigroups::fpsemigroup::KnuthBendix::policy::overlap

The values in this enum determine how a KnuthBendix instance measures the length \(d(AB, BC)\) of the overlap of two words \(AB\) and \(BC\):

See

KnuthBendix::overlap_policy(policy::overlap)

Values:

enumerator ABC

\(d(AB, BC) = |A| + |B| + |C|\)

enumerator AB_BC

\(d(AB, BC) = |AB| + |BC|\)

enumerator MAX_AB_BC

\(d(AB, BC) = max(|AB|, |BC|)\)