KnuthBendix< Word, Rewriter, ReductionOrder >::options

template<typename Word, typename Rewriter = detail::RewriteTrie, typename ReductionOrder = ShortLexCompare>
struct libsemigroups::KnuthBendix< Word, Rewriter, ReductionOrder >::options

This struct containing various options that can be used to control the behaviour of Knuth-Bendix.

Public Types
enum class	overlap { ABC = 0 , AB_BC = 1 , MAX_AB_BC = 2 }
	Values for specifying how to measure the length of an overlap. More...

Member Enumeration Documentation

overlap

template<typename Word, typename Rewriter = detail::RewriteTrie, typename ReductionOrder = ShortLexCompare>

enum class overlap

strong

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 also

overlap_policy(options::overlap).

Enumerator
ABC	\(d(AB, BC) = |A| + |B| + |C|\)
AB_BC	\(d(AB, BC) = |AB| + |BC|\)
MAX_AB_BC	\(d(AB, BC) = max(|AB|, |BC|)\)

---

The documentation for this struct was generated from the following file:

• /Users/jdm/libsemigroups/include/libsemigroups/knuth-bendix-class.hpp