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:
-
ABC
= 0¶ \(d(AB, BC) = |A| + |B| + |C|\)
-
AB_BC
= 1¶ \(d(AB, BC) = |AB| + |BC|\)
-
MAX_AB_BC
= 2¶ \(d(AB, BC) = max(|AB|, |BC|)\)
-