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