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\):
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|)\)
-
enumerator ABC¶