Member types

This page contains the documentation of the public member types of a KnuthBendix instance.

Classes
struct	KnuthBendix< Word, Rewriter, ReductionOrder >::options
	Struct containing various options that can be used to control the behaviour of Knuth-Bendix. More...

Typedefs
using	native_word_type = Word
	Type of the letters in the relations of the presentation stored in a KnuthBendix instance.
using	rule_type = std::pair<Word, Word>
	Type of the rules in the system.

Typedef Documentation

native_word_type

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

using native_word_type = Word

Type of the letters in the relations of the presentation stored in a KnuthBendix instance.

rule_type

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

using rule_type = std::pair<Word, Word>

Type of the rules in the system.